diff etc/PROBLEMS @ 101536:a8fcffcd20d5

(command-line-args-left): Remove unneeded declaration. (batch-unrmail, unrmail): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Tue, 27 Jan 2009 03:41:25 +0000
parents 296066356761
children 3c4f4b1a448b
line wrap: on
line diff