Merge branch 'master' into release

FEniCS · Jun 14, 2018 · 207b511 · 207b511
2 parents 2910651 + 2dbe892
commit 207b511
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/sphinx/requirements.txt b/doc/sphinx/requirements.txt
@@ -1,2 +1,3 @@
 numpy
 sympy
+sphinx==1.7.0