diff options
Diffstat (limited to 'test-optional.patch')
| -rw-r--r-- | test-optional.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-optional.patch b/test-optional.patch index 82b712a33fb9..95de25e94e8a 100644 --- a/test-optional.patch +++ b/test-optional.patch @@ -1,6 +1,6 @@ --- src/sage/doctest/control.py.orig 2016-10-20 19:39:53.714618246 +0200 +++ src/sage/doctest/control.py 2016-10-20 19:40:15.158049920 +0200 -@@ -348,17 +348,6 @@ +@@ -347,17 +347,6 @@ # Special case to run all optional tests options.optional = True else: |