diff options
-rw-r--r-- | Doc/texinputs/python.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/texinputs/python.sty b/Doc/texinputs/python.sty index 009caaf..bee22d5 100644 --- a/Doc/texinputs/python.sty +++ b/Doc/texinputs/python.sty @@ -563,7 +563,7 @@ \newcommand{\regexp}[1]{% {\tiny$^{^\lceil}\!\!$% {\normalsize\code{#1}}% - $\!\!\rfloor\!$% + $\!\rfloor\!$% }} \newcommand{\envvar}[1]{% \$#1% $ <-- bow to font-lock 3 times! |