Admin/profiling_report
changeset 36859 51af1657263b
parent 17001 51ff2bc32774
     1.1 --- a/Admin/profiling_report	Wed May 12 13:52:34 2010 +0200
     1.2 +++ b/Admin/profiling_report	Wed May 12 13:54:49 2010 +0200
     1.3 @@ -1,6 +1,5 @@
     1.4  #!/usr/bin/env perl
     1.5  #
     1.6 -# $Id$
     1.7  # Author: Makarius
     1.8  #
     1.9  # DESCRIPTION: Simple report generator for Poly/ML profiling output.