chiark / gitweb /
jenkins-build-makebuildserver: remove errant blank line
authorHans-Christoph Steiner <hans@eds.org>
Mon, 26 Sep 2016 10:14:37 +0000 (06:14 -0400)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 28 Sep 2016 07:52:49 +0000 (09:52 +0200)
jenkins-build-makebuildserver

index d77c241c0a3cd524164f6bf5b0aaad801a9a5f8a..ed8f040414c90712913aafdd4f4fb1446e785ce2 100755 (executable)
@@ -1,4 +1,3 @@
-
 #!/bin/bash
 
 if [ `dirname $0` != "." ]; then