diff options
| author | Enrico Tassi | 2020-04-02 12:14:12 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-02 12:14:12 +0200 |
| commit | 0ce6013351c60f0abd4445c9eeccdd3749b071ec (patch) | |
| tree | 85194f55821511391f2aca58f346cbfd82012aed /mathcomp/Make | |
| parent | e44b131a6c01c9cac13b48b07e3ee4d7f8e8fb6c (diff) | |
| parent | a8c8fd1f52f90606f5aaf4f4b810b70aabc9caa2 (diff) | |
Merge pull request #468 from ybertot/remove-deprecated-from-1.9
remove deprecated commands whose deprecation was introduced in 1.9.0
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions