--- 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 -