author | wenzelm |
Sat, 03 Jun 2000 23:57:04 +0200 | |
changeset 9029 | 2962c80230e3 |
parent 9028 | 8a1ec8f05f14 |
child 9030 | bb7622789bf2 |
1.1 --- a/doc-src/railsetup.sty Fri Jun 02 20:38:28 2000 +0200 1.2 +++ b/doc-src/railsetup.sty Sat Jun 03 23:57:04 2000 +0200 1.3 @@ -2,10 +2,6 @@ 1.4 \railalias{percent}{\%} 1.5 \railalias{ppercent}{\%\%} 1.6 \railalias{underscore}{\_} 1.7 -\railalias{lbrace}{\ttlbrace} 1.8 -\railalias{rbrace}{\ttrbrace} 1.9 -\railalias{llbrace}{\ttlbrace\ttlbrace} 1.10 -\railalias{rrbrace}{\ttrbrace\ttrbrace} 1.11 1.12 \setlength\railextra{3.6ex} 1.13 \setlength\railboxleft{0.9ex}