diff options
| author | Enrico Tassi | 2020-09-11 09:52:42 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-11 09:53:53 +0200 |
| commit | f3ad9538962cd36d90ea3a6724125f448d7c0b10 (patch) | |
| tree | 0dbb6389bbe8db1c6835ab788265355995f45eb7 /mathcomp/test_suite/output.v.out.8.7 | |
| parent | 8d17e971db2d29fad93443e730ee378ec768ba68 (diff) | |
fix 8.9, 8.8 and 8.7
Diffstat (limited to 'mathcomp/test_suite/output.v.out.8.7')
| l--------- | mathcomp/test_suite/output.v.out.8.7 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mathcomp/test_suite/output.v.out.8.7 b/mathcomp/test_suite/output.v.out.8.7 new file mode 120000 index 0000000..896b7ac --- /dev/null +++ b/mathcomp/test_suite/output.v.out.8.7 @@ -0,0 +1 @@ +output.v.out.8.9
\ No newline at end of file |