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/9054837aeed5dceb8c2540715407b462e6d307c2?hp=9054837aeed5dceb8c2540715407b462e6d307c2

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