diff options
Diffstat (limited to 'usr.bin/sgmls/instant/main.c')
| -rw-r--r-- | usr.bin/sgmls/instant/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.bin/sgmls/instant/main.c b/usr.bin/sgmls/instant/main.c index 511fedfef8dfb..cc5a04dfd3b96 100644 --- a/usr.bin/sgmls/instant/main.c +++ b/usr.bin/sgmls/instant/main.c @@ -66,7 +66,7 @@ #ifndef lint static char *RCSid = - "$Header: /usr/src/docbook-to-man/Instant/RCS/main.c,v 1.8 1996/06/12 03:32:48 fld Exp $"; + "$Header: /home/ncvs/src/usr.bin/sgmls/instant/main.c,v 1.1.1.1 1996/09/08 01:55:10 jfieber Exp $"; #endif #include <stdio.h> |