- From: Markus Lanthaler <markus.lanthaler@gmx.net>
- Date: Mon, 13 Oct 2014 18:45:45 +0200
- To: <public-linked-json@w3.org>
On Friday, October 10, 2014 12:08 AM, Nicholas Bollweg wrote: > A PR I put in a while ago finally got merged into pygments mainline: Cool, thanks a lot Nick. > https://bitbucket.org/birkenfeld/pygments-main/commits/d93e0c28a22a4a5980990f33b389f134fb6df1d2 > (manual merge, as it was getting really behind, and I'm really bad at mercurial) > Not sure when the release will be cut, but that's codemirror and > pygments, which is a pretty good start for browser-based tooling, i.e. > IPython notebook, playground, etc. Looking forward to more tools being > able to use it! -- Markus Lanthaler @markuslanthaler
Received on Monday, 13 October 2014 16:46:17 UTC