1 files changed, 2 insertions, 0 deletions

diff --git a/gen_defs b/gen_defs
index 06ba6e17..eea36712 100755
--- a/gen_defs
+++ b/gen_defs
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+# $Id$
+
 echo '/* Automatically generated by gen_defs.  Do not edit! */'
 echo ''