author | wenzelm |
Sat, 03 Jun 2000 23:57:04 +0200 | |
changeset 9029 | 2962c80230e3 |
parent 9028 | 8a1ec8f05f14 |
child 9030 | bb7622789bf2 |
--- 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}