Index: tools/PrettyGitLogs.sh
===================================================================
--- tools/PrettyGitLogs.sh	(revision 7cbd7cecd4fe359a4461fade05a5776c1cb2339b)
+++ tools/PrettyGitLogs.sh	(revision ae4af8101a1a39f5294fca4aa3450bd629e96e87)
@@ -8,9 +8,4 @@
 
 rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
-
-echo "Printing git information into: "
-echo "    ${GIT_UPDATE}"
-echo "    ${GIT_LOG}"
-echo "    ${GIT_DIFF}"
 
 GitOldRef=$2