Ticket #12173: flint-2.3-library-5.9.b2.patch

File flint-2.3-library-5.9.b2.patch, 296.2 KB (added by jpflori, 9 years ago)

One additional doctest change for 5.9.beta2

HTML preview not available, since the file size exceeds 256.0 KB. Try downloading the file instead.