# HG changeset patch # User blanchet # Date 1283291440 -7200 # Node ID 96fae8916d8b02d63f94e39792390415017e06f7 # Parent e34c1b09bb5e48d3c8b537d1452311940c76cb6e fix typo diff -r e34c1b09bb5e -r 96fae8916d8b doc-src/Nitpick/nitpick.tex --- a/doc-src/Nitpick/nitpick.tex Tue Aug 31 23:46:23 2010 +0200 +++ b/doc-src/Nitpick/nitpick.tex Tue Aug 31 23:50:40 2010 +0200 @@ -1921,7 +1921,7 @@ \end{enum} Default values are indicated in square brackets. Boolean options have a negated -counterpart (e.g., \textit{blocking} vs.\ \textit{no\_blocking}). When setting +counterpart (e.g., \textit{blocking} vs.\ \textit{non\_blocking}). When setting Boolean options, ``= \textit{true}'' may be omitted. \subsection{Mode of Operation}