X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=intro%2F.chktexrc;h=538fd6723e94242823919a9dec7830538e9c6bd3;hb=40c364b9de5d27b8afedcfd83d76499acc9e31af;hp=e62adec8843e6ffa03b5b3df30a18aa62de7340e;hpb=3fe94feeee0efd1922263aca9d578031e2283f61;p=phd-thesis.git diff --git a/intro/.chktexrc b/intro/.chktexrc index e62adec..538fd67 100644 --- a/intro/.chktexrc +++ b/intro/.chktexrc @@ -9,7 +9,7 @@ WipeArg { \cleaninline:{} \pythoninline:{} \haskellinline:{} - \haskelllshtexinline:{} + \haskelllhstexinline:{} \arduinoinline:{} \texttt:{} \url:{}