diff options
author | Antonio Rojas | 2017-12-01 23:21:16 +0000 |
---|---|---|
committer | Antonio Rojas | 2017-12-01 23:21:16 +0000 |
commit | 77b7fbd4cbff662b98c569f9d0ef44e381ecfdc4 (patch) | |
tree | 819bb18b0e8f72b4b1fdb951a0faf5962c17555c /test-optional.patch | |
parent | e15ea535febc3b8cb196429feadfc41e72cc5ef4 (diff) | |
download | aur-77b7fbd4cbff662b98c569f9d0ef44e381ecfdc4.tar.gz |
Update
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 1918cbe5db77..1fae8b4962cc 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 -@@ -307,22 +307,6 @@ +@@ -320,22 +320,6 @@ if "all" in options.optional: # Special case to run all optional tests options.optional = True |