Merge branch 'master' into 'master'

[simgrid.git] / docs / source / conf.py

diff --git a/docs/source/conf.py b/docs/source/conf.py
index e06332d..f3907e4 100644 (file)
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -201,4 +201,3 @@ html_css_files = [
 ]
 
 # -- Other options
-