Admin/profiling_reports
2011-08-11 wenzelm 2011-08-11 somewhat more uniform THIS;
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2007-10-05 wenzelm 2007-10-05 cover only .gz files;
2007-07-06 wenzelm 2007-07-06 Cumulative reports for Poly/ML profiling output.