D/algotutor////
D/anki////
D/drgeo////
D/drgeo-doc////
D/dvorak7min////
D/epte////
D/gamgi////
D/gtypist////
D/verbiste////
/Makefile/1.21/Wed Mar  9 18:16:39 2022//
