--- a/lib/scripts/timestop.bash Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/timestop.bash Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,5 @@
# -*- shell-script -*-
-# $Id$
+#
# Author: Makarius
#
# timestop - report timing based on environment (cf. timestart.bash)