# HG changeset patch
# User wenzelm
# Date 1238966101 -7200
# Node ID 105e887994d03707a7fc8eb6e96b68465aac1326
# Parent  0a667739d175f9bbb8c24d36c3a31b7330660126
tuned white space;

diff -r 0a667739d175 -r 105e887994d0 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