diff options
| author | Antonio Rojas | 2020-06-06 13:57:01 +0200 |
|---|---|---|
| committer | Antonio Rojas | 2020-06-06 13:57:01 +0200 |
| commit | e4f62b84595a9ce3425bcbd5e300c29f63953663 (patch) | |
| tree | 22231c33a5772427e74156397abf188f858045e0 /test-optional.patch | |
| parent | 813ce66d366471fadf3ea241f73256aad4a038ba (diff) | |
| download | aur-e4f62b84595a9ce3425bcbd5e300c29f63953663.tar.gz | |
Use simpler dict sorting patch
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: |