Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add nzn environment to chktex ignore list

Browse Source
This commit is contained in:
Jip J. Dekker 2021-03-12 14:44:38 +11:00
parent a43620b68f
commit 7d5d634829
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.chktexrc
View File

@ -1,4 +1,4 @@
# Exclude these environments from syntax checking
VerbEnvir { pgfpicture tikzpicture mzn grammar proof }
VerbEnvir { pgfpicture tikzpicture mzn nzn grammar proof }
WipeArg { \mzninline:{} \Sem:{} \texttt:{} }
WipeArg { \mzninline:{} \nzninline:{} \Sem:{} \texttt:{} }