added rcsid

This commit is contained in:
em 1984-05-17 15:51:42 +00:00
parent 5138be020c
commit 7ac5028864

View file

@ -1,3 +1,7 @@
#ifndef NORCSID
static char rcsid[] = "$Header$";
#endif
#include <stdio.h>
#include "param.h"
#include "types.h"