I don't see it either, fwiw. On Sunday, 19 May 2013, Brian Anderson wrote:
> On 05/19/2013 07:05 AM, Masklinn wrote: > >> On 2013-05-19, at 15:59 , Masklinn wrote: >> >>> [8] that would give the documentation code-coloration for free as well, >>> since there is already a Rust lexer in Pygments: >>> http://pygments.org/demo/**81135/ <http://pygments.org/demo/81135/>, >>> though of course Rust support >>> can also be added to Pandoc. >>> >> And apparently it's already been added[0] but is not on the bots yet, I >> should have checked harder. Sorry about that one. >> >> [0] >> https://github.com/mozilla/**rust/issues/5259<https://github.com/mozilla/rust/issues/5259> >> > > This thread sounds topical and relevant to my interests but I don't see > the parent email in my inbox nor in the rust-dev archives. Did it not send > or am I missing something? > ______________________________**_________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/**listinfo/rust-dev<https://mail.mozilla.org/listinfo/rust-dev> >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
