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

[Matt Price]

Yay! Thank you!

On Mar 23, 2017 6:25 PM, "Bastien Guerry" <b...@bzg.fr> wrote:

> Hi Matt,
>
> I finally committed this.  Sorry it took so long and thanks
> again for the patch!
>
> Best,
>
> --
>  Bastien
>