Index: tools/PrettyGitLogs.sh
===================================================================
--- tools/PrettyGitLogs.sh	(revision 7cbd7cecd4fe359a4461fade05a5776c1cb2339b)
+++ tools/PrettyGitLogs.sh	(revision a9fb796f56bcdcc50c4cfcea5f2ae6641c3b82b2)
@@ -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