Changed RCSid

This commit is contained in:
ceriel
1984-10-08 17:11:03 +00:00
parent 474d9d6e0f
commit 317ab99ecf
7 changed files with 21 additions and 7 deletions

View File

@@ -34,7 +34,9 @@
# include "sets.h"
# include "assert.h"
static string rcsid = "$Header$";
# ifndef NORCSID
static string rcsid6 = "$Header$";
# endif
static string rec_file;
static string incl_file;