diff src/widgetprv.h @ 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 1d1d5d9bd884
children 376148b31b5e
line wrap: on
line diff