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 83e175b..cea9258 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$ +# $Id: patindex.SH 1 2006-08-24 12:32:52Z rmanfredi $ # # Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi # |