Admin/profiling_reports
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.