# HG changeset patch # User wenzelm # Date 966500990 -7200 # Node ID 817b74e9c5aa8732a964f3ed56f0aabf99ef1e59 # Parent e6ba17cd012e740fb598874dfa99fa8e73a614b4 fixed lbrace, rbrace; diff -r e6ba17cd012e -r 817b74e9c5aa doc-src/railsetup.sty --- a/doc-src/railsetup.sty Thu Aug 17 10:29:23 2000 +0200 +++ b/doc-src/railsetup.sty Thu Aug 17 10:29:50 2000 +0200 @@ -2,8 +2,8 @@ \railalias{percent}{\%} \railalias{ppercent}{\%\%} \railalias{underscore}{\_} -\railalias{lbrace}{\{} -\railalias{rbrace}{\}} +\railalias{lbrace}{\texttt{\ttlbrace}} +\railalias{rbrace}{\texttt{\ttrbrace}} \railalias{atsign}{{\at}} \setlength\railextra{3.6ex}