readthedocs
diff --git a/‎demo_docs/source/conf.py‎
Lines changed: 1 addition & 1 deletion b/‎demo_docs/source/conf.py‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎sphinx_rtd_theme/static/css/badge_only.css‎
Lines changed: 220 additions & 1 deletion b/‎sphinx_rtd_theme/static/css/badge_only.css‎
Lines changed: 220 additions & 1 deletion
diff --git a/‎sphinx_rtd_theme/static/css/badge_only.css.map‎
Lines changed: 1 addition & 1 deletion b/‎sphinx_rtd_theme/static/css/badge_only.css.map‎
Lines changed: 1 addition & 1 deletion
@@ -3,7 +3,7 @@
 # Sphinx RTD theme demo documentation build configuration file, created by
 # sphinx-quickstart on Sun Nov  3 11:56:36 2013.
 #
-# This file is execfile()d with the current directory set to its containing dir.
+# This file is executed with the current directory set to its containing dir.
 #
 # Note that not all possible configuration values are present in this
 # autogenerated file.
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`# Sphinx RTD theme demo documentation build configuration file, created by`
`4`	`4`	`# sphinx-quickstart on Sun Nov 3 11:56:36 2013.`
`5`	`5`	`#`
`6`		`-# This file is execfile()d with the current directory set to its containing dir.`
	`6`	`+# This file is executed with the current directory set to its containing dir.`
`7`	`7`	`#`
`8`	`8`	`# Note that not all possible configuration values are present in this`
`9`	`9`	`# autogenerated file.`