diff options
| author | Cyril Cohen | 2020-11-24 16:55:13 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-24 16:55:13 +0100 |
| commit | 510daef196b5b8381756abddbef94d6851f2fca6 (patch) | |
| tree | f0054717c9e9e824e4c8c1c04a09e7d70f779bea /mathcomp/Makefile.common | |
| parent | 84dbef80c27392413f96f77d2314a3b34a7a88f8 (diff) | |
| parent | 8c5f89a000c9be0cafa56a97c40c2ce4f35bf914 (diff) | |
Merge pull request #670 from pi8027/fix-668
Fix deprecation notations in path.v
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions