diff src/intervals.c @ 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 750db9f3e6d8
children 0fdd992ff057
line wrap: on
line diff