mathlib3
4b8106b3 - fix(test/local_cache): make the trace text explicit and quiet (#941)

Commit

7 years ago

fix(test/local_cache): make the trace text explicit and quiet (#941) (by default)

References

Author

khoek

Committer

mergify[bot]

Parents