diff config.bat @ 110110:91cc7bab2ca4

gnus-html.el (gnus-html-wash-tags): Remove all <pre_int> place holders.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Thu, 02 Sep 2010 01:33:31 +0000
parents ca8db3772b39
children f6c3d41e8113
line wrap: on
line diff