aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xremove_info_dir1
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