Parent Directory | Revision Log | Patch
revision 1.11 by tjl, Fri May 30 11:45:56 2003 UTC | revision 1.12 by tjl, Fri May 30 18:08:14 2003 UTC | |
---|---|---|
# | Line 38 | Line 38 |
38 | \def\hypertarget#1#2{} | \def\hypertarget#1#2{} |
39 | \def\url#1{#1} | \def\url#1{#1} |
40 | ||
41 | \newcommand{\hyp}{\discretionary{}{}{}} |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |