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

[Bastien Guerry]

Hi Matt,

thanks for the new patch!

Before applying it (and working further on it), I suggest we wait for
Yehonathan's feedback on making klipse.js librejs-compatible.  That's
possibly a blocking issue, and we need to sort it out.

Thanks!

-- 
 Bastien