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/2a05b4db8ae322fea6a3961e0666df36c5be08c1?ds=sidebyside;hp=2a05b4db8ae322fea6a3961e0666df36c5be08c1 "fix" the official Rust highlighter by monkey-patching ---