rcsid added

1984-07-19 11:50:29 +00:00
parent 69584eb0ca
commit 8defe7ce53
2 changed files with 2 additions and 0 deletions
--- a/mach/m68k2/dl/cv.c
+++ b/mach/m68k2/dl/cv.c
@@ -1,3 +1,4 @@
+static char rcsid[] = "$Header$";
 /*
 * (c) copyright 1983 by the Vrije Universiteit, Amsterdam, The Netherlands.
 *
--- a/mach/m68k2/dl/dl.c
+++ b/mach/m68k2/dl/dl.c
@@ -1,3 +1,4 @@
+static char rcsid[] = "$Header$";
 #define MAXBYTE	24
 #include <stdio.h>
 char hex[] =  "0123456789ABCDEF";