Admin/profiling_reports
changeset 36859 51af1657263b
parent 24856 f06829479407
child 44152 a07748619f53
     1.1 --- a/Admin/profiling_reports	Wed May 12 13:52:34 2010 +0200
     1.2 +++ b/Admin/profiling_reports	Wed May 12 13:54:49 2010 +0200
     1.3 @@ -1,6 +1,5 @@
     1.4  #!/usr/bin/env bash
     1.5  #
     1.6 -# $Id$
     1.7  # Author: Makarius
     1.8  #
     1.9  # DESCRIPTION: Cumulative reports for Poly/ML profiling output.