diff options
author | Antonio Rojas | 2018-12-23 23:12:24 +0000 |
---|---|---|
committer | Antonio Rojas | 2018-12-23 23:12:24 +0000 |
commit | 883aa4a86e37267e068ab4c8ff7737d9ed5470c7 (patch) | |
tree | d6e9eeec462a1076e692a639b1f81d332ad8de68 /test-optional.patch | |
parent | dc362c1101434295a40ff4b01c740f0834d81e54 (diff) | |
download | aur-883aa4a86e37267e068ab4c8ff7737d9ed5470c7.tar.gz |
Sync with stable
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 b04946e7f608..7ac4ade793a4 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 -@@ -346,22 +346,6 @@ +@@ -347,22 +347,6 @@ # Special case to run all optional tests options.optional = True else: |