]> gitweb.michael.orlitzky.com - mjotex.git/commit
.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)
commit1bb03a39a8b4f5a734f64220a13d4d49d4c00a7e
treeace8630e0f8bef147b61aab037d31806008c5fac
parenta6c1d186ec5bbd8d02dfd2f057cd147afdfe900f
.chktexrc: add some common entries.
.chktexrc