diff options
author | Lars Magne Ingebrigtsen <[email protected]> | 2010-09-02 01:33:31 +0000 |
---|---|---|
committer | Katsumi Yamaoka <[email protected]> | 2010-09-02 01:33:31 +0000 |
commit | 36a806f35776e884b6228f72030993284789c785 (patch) | |
tree | be0330325333be843dbd35da852b460316d7c8be /config.sub | |
parent | a93b858c988ce8c580ceccc4d49e08b3c2fef762 (diff) |
gnus-html.el (gnus-html-wash-tags): Remove all <pre_int> place holders.
Diffstat (limited to 'config.sub')
0 files changed, 0 insertions, 0 deletions