diff options
Diffstat (limited to 'remove_info_dir')
| -rwxr-xr-x | remove_info_dir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remove_info_dir b/remove_info_dir index d06644e..e9cf936 100755 --- a/remove_info_dir +++ b/remove_info_dir @@ -1,5 +1,5 @@ #!/bin/sh -# $Id$ +# $Id: remove_info_dir 257537 2009-05-23 12:48:25Z guillomovitch $ if [ -z "$RPM_BUILD_ROOT" ]; then echo "No build root defined" >&2 |