diff options
Diffstat (limited to 'release/bininst')
| -rwxr-xr-x | release/bininst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/bininst b/release/bininst index 4b55b7c3aff0..ca18e227546b 100755 --- a/release/bininst +++ b/release/bininst @@ -13,7 +13,7 @@ # putting your name on top after doing something trivial like reindenting # it, just to make it look like you wrote it!). # -# $Id: bininst,v 1.49 1994/11/21 08:33:55 jkh Exp $ +# bininst,v 1.50 1994/11/21 09:50:02 jkh Exp if [ "$_BININST_LOADED_" = "yes" ]; then echo "Error, $0 loaded more than once!" |