]> gitweb.michael.orlitzky.com - mjotex.git/history - .chktexrc
mjo-set: adopt \powerset{} from mjo-common.
[mjotex.git] / .chktexrc
2019-10-03 Michael Orlitzky.chktexrc: add some common entries.
2019-02-14 Michael OrlitzkyGNUmakefile: fix the "check-chktex" target.