From: Ralf Jung <post@ralfj.de>
Date: Sat, 2 Jan 2016 13:39:23 +0000 (+0100)
Subject: "fix" the official Rust highlighter by monkey-patching
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/05a778352bcc28f3f8e02090a6e117228cf74970?ds=inline;hp=05a778352bcc28f3f8e02090a6e117228cf74970

"fix" the official Rust highlighter by monkey-patching
---