Skip to content

Checking options before applying syntax highlighting for HTML output#907

Merged
jgm merged 1 commit intojgm:masterfrom
KholdStare:fix-no-highlight
Jul 13, 2013
Merged

Checking options before applying syntax highlighting for HTML output#907
jgm merged 1 commit intojgm:masterfrom
KholdStare:fix-no-highlight

Conversation

@KholdStare
Copy link
Copy Markdown
Contributor

This should fix issue #906 .

jgm added a commit that referenced this pull request Jul 13, 2013
Checking options before applying syntax highlighting for HTML output
@jgm jgm merged commit 837a9bf into jgm:master Jul 13, 2013
@KholdStare KholdStare deleted the fix-no-highlight branch July 13, 2013 23:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants