From efde4702821150e9485c8365ca2f64695b2a7239 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Sun, 10 Dec 2017 09:16:34 +0100
Subject: [PATCH] remove unecessary newline in gittool
---
bin/gittool.php | 1 -
1 file changed, 1 deletion(-)
diff --git a/bin/gittool.php b/bin/gittool.php
index f75ac1d9d..63d5b4426 100755
--- a/bin/gittool.php
+++ b/bin/gittool.php
@@ -184,7 +184,6 @@ class GitToolCLI extends CLI {
continue;
}
- echo "\n";
$this->info("executing $shell in $repo");
$ret = 0;
system($shell, $ret);
--
GitLab