diff options
author | Guillaume Rousse <guillomovitch@gmail.com> | 2018-08-04 09:51:47 +0200 |
---|---|---|
committer | Guillaume Rousse <guillomovitch@gmail.com> | 2018-08-04 09:51:47 +0200 |
commit | abb9b4d0d4dac36b438a40e8368d8861871809ad (patch) | |
tree | bf0f7a1ba5fd4bdafafea7d47b2adaef784ebec9 /remove_info_dir | |
parent | 815e6b02548575161d485ebe71ea96912f51ea5f (diff) | |
download | spec-helper-abb9b4d0d4dac36b438a40e8368d8861871809ad.tar spec-helper-abb9b4d0d4dac36b438a40e8368d8861871809ad.tar.gz spec-helper-abb9b4d0d4dac36b438a40e8368d8861871809ad.tar.bz2 spec-helper-abb9b4d0d4dac36b438a40e8368d8861871809ad.tar.xz spec-helper-abb9b4d0d4dac36b438a40e8368d8861871809ad.zip |
a bit more consistency in various file headers
Diffstat (limited to 'remove_info_dir')
-rwxr-xr-x | remove_info_dir | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/remove_info_dir b/remove_info_dir index e9cf936..a79cd4a 100755 --- a/remove_info_dir +++ b/remove_info_dir @@ -1,5 +1,4 @@ #!/bin/sh -# $Id: remove_info_dir 257537 2009-05-23 12:48:25Z guillomovitch $ if [ -z "$RPM_BUILD_ROOT" ]; then echo "No build root defined" >&2 |