]> gitweb.michael.orlitzky.com - mjotex.git/history - .chktexrc
TODO: remove it, all done for now.
[mjotex.git] / .chktexrc
2019-10-03 Michael Orlitzky.chktexrc: add some common entries.
2019-02-14 Michael OrlitzkyGNUmakefile: fix the "check-chktex" target.