Re: [O] [PATCH] allow klipse export in html

[Bastien Guerry]

Hi Matt,

I finally committed this.  Sorry it took so long and thanks
again for the patch!

Best,

-- 
 Bastien