diff options
Diffstat (limited to 'usr.bin/sgmls/instant/info.c')
| -rw-r--r-- | usr.bin/sgmls/instant/info.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.bin/sgmls/instant/info.c b/usr.bin/sgmls/instant/info.c index 27ab1c7311829..a6015fcc78348 100644 --- a/usr.bin/sgmls/instant/info.c +++ b/usr.bin/sgmls/instant/info.c @@ -61,7 +61,7 @@ #ifndef lint static char *RCSid = - "$Header: /usr/src/docbook-to-man/Instant/RCS/info.c,v 1.2 1996/06/02 21:46:10 fld Exp $"; + "$Header: /home/ncvs/src/usr.bin/sgmls/instant/info.c,v 1.1.1.1 1996/09/08 01:55:10 jfieber Exp $"; #endif #include <stdio.h> |