Header --> Id

1994-06-24 11:31:16 +00:00
parent e97e8edd13
commit bcc84a94d5
908 changed files with 962 additions and 930 deletions
--- a/lang/basic/src/basic.g
+++ b/lang/basic/src/basic.g
@@ -787,6 +787,6 @@ exprlist(int *ip; int *typetable;) { int exp; }

 {
 #ifndef NORCSID
-static char rcs_id[]	= "$Header$" ;
+static char rcs_id[]	= "$Id$" ;
 #endif
 }