diff config.bat @ 101631:13338e3ca8a7

(rmail-set-label): Update the summary, if there is one, after a label is added.
author Glenn Morris <rgm@gnu.org>
date Thu, 29 Jan 2009 03:41:38 +0000
parents f7624bb0bd1f
children dc1b2f500b63
line wrap: on
line diff