diff options
Diffstat (limited to 'gs/toolbin/bughunt.sh')
| -rwxr-xr-x | gs/toolbin/bughunt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gs/toolbin/bughunt.sh b/gs/toolbin/bughunt.sh index bae6b33e9..994a2125f 100755 --- a/gs/toolbin/bughunt.sh +++ b/gs/toolbin/bughunt.sh @@ -1,6 +1,6 @@ #! /bin/sh -# $Id$ +# $RCSfile$ $Revision$ # NB: If your sh does not support functions, then try # /usr/local/bin/bash or /bin/ksh, if you have them. |