lib/Tools/codegen
changeset 29143 72c960b2b83e
parent 28660 54091ba1448f
child 29890 cc9eaa852fcd
--- a/lib/Tools/codegen	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/codegen	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Florian Haftmann, TUM
 #
 # DESCRIPTION: issue code generation from shell