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