--- a/lib/scripts/timestart.bash Sat Dec 20 11:39:34 2008 +0100 +++ b/lib/scripts/timestart.bash Sat Dec 20 11:55:34 2008 +0100 @@ -1,5 +1,5 @@ # -*- shell-script -*- -# $Id$ +# # Author: Makarius # # timestart - setup bash environment for timing.