diff options
Diffstat (limited to 'Makefile.SH')
-rwxr-xr-x | Makefile.SH | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.SH b/Makefile.SH index 29cd11c..4915130 100755 --- a/Makefile.SH +++ b/Makefile.SH @@ -61,7 +61,7 @@ $spitshell >>Makefile <<'!NO!SUBS!' ######################################################################## # Start of Jmakefile -# $X-Id: Jmakefile 9 2006-08-25 22:31:50Z rmanfredi $ +# $X-Id: Jmakefile 25 2008-05-28 11:19:25Z rmanfredi $ # # Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi # |