"fix" the official Rust highlighter by monkey-patching

[web.git] / ralf / _includes / vars / blog-page.html

{% assign pretitle = site.blog.title %}