From 3dba66bf5de953e5420c9cfe8e0908a5a7f8e7db Mon Sep 17 00:00:00 2001 From: Tom Leese Date: Mon, 16 Mar 2015 09:28:45 +0000 Subject: Replace occurrences of 'Github' with 'GitHub' The website is called 'GitHub' afterall. --- src/Text/Pandoc/Options.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Text') diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index a5dcbfd0b..bde7454e2 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -74,7 +74,7 @@ data Extension = | Ext_latex_macros -- ^ Parse LaTeX macro definitions (for math only) | Ext_fenced_code_blocks -- ^ Parse fenced code blocks | Ext_fenced_code_attributes -- ^ Allow attributes on fenced code blocks - | Ext_backtick_code_blocks -- ^ Github style ``` code blocks + | Ext_backtick_code_blocks -- ^ GitHub style ``` code blocks | Ext_inline_code_attributes -- ^ Allow attributes on inline code | Ext_markdown_in_html_blocks -- ^ Interpret as markdown inside HTML blocks | Ext_native_divs -- ^ Use Div blocks for contents of
tags -- cgit v1.2.3