naddy 35b149d31f maintenance update to 0.1.45 (C++11 fixes)		2017-11-02 16:53:34 +00:00
..
algotutor
anki	update to anki-2.0.48	2017-09-04 17:28:36 +00:00
drgeo	Handle pthread-stubs removal.	2017-10-23 17:10:37 +00:00
drgeo-doc
dvorak7min
epte
gamgi	kill most of the / at the end of WRK* variables	2017-05-11 20:50:55 +00:00
gtypist
verbiste	maintenance update to 0.1.45 (C++11 fixes)	2017-11-02 16:53:34 +00:00
Makefile