4 ms·
Although at that point one could also make use of the excellent pygments library from Python, to truly have no JS, if that was the point. It is used from inside
by zelphirkalt 6y ago
Although at that point one could also make use of the excellent pygments library from Python, to truly have no JS, if that was the point. It is used from inside many other languages' tools as well.