# 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