From be2e4143844eacde377f9efb27dcb1b55e6ecaf6 Mon Sep 17 00:00:00 2001 From: mycroft Date: Mon, 2 Aug 1993 17:18:41 +0000 Subject: Add RCS identifiers, remove some completely useless RCS logs and patchkit headers, and a few other insignificant changes. --- hack/hack.options.c | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'hack/hack.options.c') diff --git a/hack/hack.options.c b/hack/hack.options.c index ed95de31..941fa58b 100644 --- a/hack/hack.options.c +++ b/hack/hack.options.c @@ -1,5 +1,10 @@ -/* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */ -/* hack.options.c - version 1.0.3 */ +/* + * Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. + */ + +#ifndef lint +static char rcsid[] = "$Id: hack.options.c,v 1.2 1993/08/02 17:19:12 mycroft Exp $"; +#endif /* not lint */ #include "config.h" #include "hack.h" -- cgit v1.2.3-56-ge451