Change Header to Id.

1994-05-25 06:28:14 +00:00 · 1994-05-25 06:28:14 +00:00 · dbda0ec78e
commit dbda0ec78e
parent 4e8667ba2c
1 changed files with 1 additions and 1 deletions
--- a/usr.sbin/pkg_install/info/main.c
+++ b/usr.sbin/pkg_install/info/main.c
@ -1,5 +1,5 @@
 #ifndef lint
-static char *rcsid = "$Header: /usr1/cvs/jkh/pkg_install/info/main.c,v 1.5 1993/09/04 05:06:41 jkh Exp $";
+static char *rcsid = "$Id$";
 #endif

 /*