changeset 9029 | 2962c80230e3 |
parent 8599 | 58b6f99dd5a9 |
child 9203 | 697f2c8727a1 |
--- a/doc-src/railsetup.sty Fri Jun 02 20:38:28 2000 +0200 +++ b/doc-src/railsetup.sty Sat Jun 03 23:57:04 2000 +0200 @@ -2,10 +2,6 @@ \railalias{percent}{\%} \railalias{ppercent}{\%\%} \railalias{underscore}{\_} -\railalias{lbrace}{\ttlbrace} -\railalias{rbrace}{\ttrbrace} -\railalias{llbrace}{\ttlbrace\ttlbrace} -\railalias{rrbrace}{\ttrbrace\ttrbrace} \setlength\railextra{3.6ex} \setlength\railboxleft{0.9ex}