diff BUGS @ 106154:deb3f780fe3d

(Acknowledgments): Add htmlfontify.
author Glenn Morris <rgm@gnu.org>
date Fri, 20 Nov 2009 02:30:55 +0000
parents fb8bf24d2eb9
children ac52af4a044c
line wrap: on
line diff