isagalaev/highlight.js — pull request #430 by renkun-ken (2014-02-25 07:16:35+00:00)
Title: no-highlight added to options

Issue #415