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