lib/Tools/env
Sat, 20 Dec 2008 11:39:27 +0100 wenzelm removed Ids;
Tue, 21 Oct 2008 20:18:07 +0200 wenzelm tuned usage line;
Sun, 19 Oct 2008 20:09:37 +0200 wenzelm run a program in a modified environment;
less more (0) tip