D/algotutor////
D/anki////
D/drgeo////
D/drgeo-doc////
D/dvorak7min////
D/epte////
D/gamgi////
D/gtypist////
D/verbiste////
/Makefile/1.22/Mon Oct 16 17:19:02 2023//
D/freedict////
