tuned white space;
authorwenzelm
Sun, 05 Apr 2009 23:15:01 +0200
changeset 30873 105e887994d0
parent 30872 0a667739d175
child 30875 d63f8956bd39
tuned white space;
doc-src/pdfsetup.sty
--- a/doc-src/pdfsetup.sty	Sun Apr 05 23:12:39 2009 +0200
+++ b/doc-src/pdfsetup.sty	Sun Apr 05 23:15:01 2009 +0200
@@ -14,4 +14,4 @@
 
 \urlstyle{rm}
 
-\ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi
\ No newline at end of file
+\ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi