1 files changed, 1 insertions, 0 deletions

diff --git a/remove_info_dir b/remove_info_dir
index a79cd4a..d06644e 100755
--- a/remove_info_dir
+++ b/remove_info_dir
@@ -1,4 +1,5 @@
 #!/bin/sh
+# $Id$
 
 if [ -z "$RPM_BUILD_ROOT" ]; then
     echo "No build root defined" >&2