lib/scripts/timestart.bash
Sun, 31 May 2009 14:20:54 +0200 wenzelm uniform treatment of shellscript mode;
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Tue, 08 Apr 2008 15:47:10 +0200 wenzelm removed obsolete AUTO_PERL feature;
Wed, 07 Dec 2005 15:23:22 +0100 wenzelm avoid unportable tail;
Thu, 01 Dec 2005 22:03:06 +0100 wenzelm tuned;
Thu, 01 Dec 2005 18:44:47 +0100 wenzelm cpu time = user + system;
Thu, 01 Dec 2005 18:37:22 +0100 wenzelm timestart - setup bash environment for timing;
less more (0) tip