--- a/lib/scripts/unsymbolize.pl Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/unsymbolize.pl Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
#
-# $Id$
# Author: Markus Wenzel, TU Muenchen
#
# unsymbolize.pl - remove unreadable symbol names from sources