From: Ralf Jung 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/9054837aeed5dceb8c2540715407b462e6d307c2?ds=inline;hp=9054837aeed5dceb8c2540715407b462e6d307c2 "fix" the official Rust highlighter by monkey-patching ---