lib/scripts/patch-scripts.bash
Mon, 12 Jul 1999 10:38:31 +0200 wenzelm may get BASH_PATH etc. from env;
Tue, 12 Jan 1999 17:01:28 +0100 wenzelm fixed again;
Tue, 12 Jan 1999 13:37:40 +0100 wenzelm fixed AUTO_PERL;
less more (0) -3 tip