]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
.chktexrc: add some common entries.
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 3 Oct 2019 12:12:59 +0000 (08:12 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 3 Oct 2019 12:12:59 +0000 (08:12 -0400)

No differences found