diff options
| author | Enrico Tassi | 2020-09-14 13:58:24 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-14 13:58:24 +0200 |
| commit | 755068fd34f0fa1e918123c4859aef2e89bedfca (patch) | |
| tree | 7081f53f8222fe6460371427052bea16b69e4f26 /mathcomp/test_suite | |
| parent | cfa21928a5148f826e19aa5a78b83b5ed4e165b9 (diff) | |
test-suite works both in local and system wide mode
Diffstat (limited to 'mathcomp/test_suite')
0 files changed, 0 insertions, 0 deletions