adding github banner (test rtd integration)

envris · Jun 8, 2016 · b9bcbfc · b9bcbfc
1 parent 3d7a926
commit b9bcbfc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -21,6 +21,7 @@
 html_theme_options = {
     'github_user': 'envris',
     'github_repo': 'initiative_canvas',
+    'github_banner': 'true'
 }