# HG changeset patch
# User wenzelm
# Date 975698648 -3600
# Node ID 92d3cbea80b2ce77503038032349fdc5b0dd23a4
# Parent  c78d26d5c3c1cce74c2f40573559acef627404d4
tuned;

diff -r c78d26d5c3c1 -r 92d3cbea80b2 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Fri Dec 01 19:54:11 2000 +0100
+++ b/lib/Tools/mkdir	Fri Dec 01 20:24:08 2000 +0100
@@ -210,7 +210,6 @@
 %\bibliography{root}
 
 \end{document}
-
 EOF
   fi
 fi