author | wenzelm |
Sun, 05 Apr 2009 23:15:01 +0200 | |
changeset 30873 | 105e887994d0 |
parent 30872 | 0a667739d175 |
child 30875 | d63f8956bd39 |
1.1 --- a/doc-src/pdfsetup.sty Sun Apr 05 23:12:39 2009 +0200 1.2 +++ b/doc-src/pdfsetup.sty Sun Apr 05 23:15:01 2009 +0200 1.3 @@ -14,4 +14,4 @@ 1.4 1.5 \urlstyle{rm} 1.6 1.7 -\ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi 1.8 \ No newline at end of file 1.9 +\ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi