4 Commits

Author	SHA1	Message	Date
christos	795e0608f6	WARNSify	1998-02-22 12:55:44 +00:00
thorpej	29cf09f47a	RCS id police.	1996-09-19 06:27:04 +00:00
mycroft	aee4b07b8a	Add RCS identifiers, remove some completely useless RCS logs and patchkit ... headers, and a few other insignificant changes.	1993-08-02 17:48:44 +00:00
cgd	3b63e56cdf	patch 2.0.12u8, from prep.ai.mit.edu. this is not under the GPL.	1993-04-09 11:33:50 +00:00