lib/Tools/env
2008-12-20 wenzelm removed Ids;
2008-10-21 wenzelm tuned usage line;
2008-10-19 wenzelm run a program in a modified environment;
less more (0) tip