| Thu, 09 Oct 2014 11:15:03 +0200 | wenzelm | prefer Unix standard-conformant $TMPDIR over hard-wired /tmp; | file | diff | annotate |
| Sun, 31 May 2009 14:20:54 +0200 | wenzelm | uniform treatment of shellscript mode; | file | diff | annotate |
| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 08 Apr 2008 15:47:10 +0200 | wenzelm | removed obsolete AUTO_PERL feature; | file | diff | annotate |
| Wed, 07 Dec 2005 15:23:22 +0100 | wenzelm | avoid unportable tail; | file | diff | annotate |
| Thu, 01 Dec 2005 22:03:06 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 01 Dec 2005 18:44:47 +0100 | wenzelm | cpu time = user + system; | file | diff | annotate |
| Thu, 01 Dec 2005 18:37:22 +0100 | wenzelm | timestart - setup bash environment for timing; | file | diff | annotate |