espie a6e9992fe5 want to run mktexlsr, include a dep on (small) mktexlsr package		2018-07-01 09:01:29 +00:00
..
algotutor
anki	first tag: update-desktop-database	2018-06-27 21:03:34 +00:00
drgeo	first tag: update-desktop-database	2018-06-27 21:03:34 +00:00
drgeo-doc
dvorak7min
epte
gamgi
gtypist	update-plist nits	2018-05-20 08:43:45 +00:00
verbiste	want to run mktexlsr, include a dep on (small) mktexlsr package	2018-07-01 09:01:29 +00:00
Makefile