tuned white space;
authorwenzelm
Sun, 05 Apr 2009 23:15:01 +0200
changeset 30873105e887994d0
parent 30872 0a667739d175
child 30875 d63f8956bd39
tuned white space;
doc-src/pdfsetup.sty
     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