lib/Tools/mkdir
changeset 15779 aed221aff642
parent 15717 541e50adfc73
child 15847 c05c7670f166
--- a/lib/Tools/mkdir	Wed Apr 20 14:18:33 2005 +0200
+++ b/lib/Tools/mkdir	Wed Apr 20 16:03:17 2005 +0200
@@ -1,3 +1,4 @@
+
 #!/usr/bin/env bash
 #
 # $Id$
@@ -285,4 +286,3 @@
 
 EOF
 fi
-