diff options
Diffstat (limited to 'pat/patindex.SH')
-rwxr-xr-x | pat/patindex.SH | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pat/patindex.SH b/pat/patindex.SH index cea9258..83e175b 100755 --- a/pat/patindex.SH +++ b/pat/patindex.SH @@ -18,7 +18,7 @@ echo "Extracting pat/patindex (with variable substitutions)" $spitshell >patindex <<!GROK!THIS! $startsh -# $Id: patindex.SH 1 2006-08-24 12:32:52Z rmanfredi $ +# $Id$ # # Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi # |