D/algotutor////
D/anki////
D/drgeo////
D/drgeo-doc////
D/dvorak7min////
D/epte////
D/gamgi////
D/gtypist////
D/verbiste////
/Makefile/1.20/Wed Dec  9 18:39:53 2015//
