4 Commits

Author	SHA1	Message	Date
phil	27984d173e	Set appropiate flag when wanting to skip a patch. Fixes only true ... bug reported in PR 2215.	1997-07-29 19:49:35 +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