message no. 160451
Posted by copumpkin in #github at 2017-01-05T19:00:22Z
I vaguely remember something about them using pygments back in the day, and filing issues against a GH repo that tracked issues with their highlighting (and allowed adding new langauges)