diff config.bat @ 22263:150184345dc7

(rmail-msg-is-pruned): Delete junk from definition.
author Richard M. Stallman <rms@gnu.org>
date Wed, 27 May 1998 21:05:02 +0000
parents 4c2b38ea02fe
children b918e6330d6e
line wrap: on
line diff