Parent Directory | Revision Log | Patch
revision 1.12 by tjl, Fri May 30 18:08:14 2003 UTC | revision 1.13 by tjl, Fri May 30 18:46:41 2003 UTC | |
---|---|---|
# | Line 39 | Line 39 |
39 | \def\url#1{#1} | \def\url#1{#1} |
40 | ||
41 | \newcommand{\hyp}{\discretionary{}{}{}} | \newcommand{\hyp}{\discretionary{}{}{}} |
42 | \setlength{\extrarowheight}{0pt} |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |