chiark / gitweb /
~mdw / odin-cgi / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f77ead) | patch
bin/populate-lang-table, mason/pastebin/%show: Segregate `highlight' languages.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 10 Apr 2017 14:54:51 +0000 (15:54 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 10 Apr 2017 14:54:51 +0000 (15:54 +0100)
commit969db1ef94e92c88afaa35b683918b2bf33b87f0
treeb41feb25472aec321995fdef959e553ac3fb18e5tree | snapshot
parent7f77ead8af9c6100f0bf4f259b5be780c4b0d86fcommit | diff
bin/populate-lang-table, mason/pastebin/%show: Segregate `highlight' languages.

Rename languages processed by `highlight' to be `hl:BLAH'.  This will
break existing deployments.  Benefit: now I can add new language tags
which don't interfere with `highlight'.
bin/populate-lang-table diff | blob | blame | history
mason/pastebin/%show diff | blob | blame | history
CGI scripts for odin.gg services