diff options
| author | Kazuhiko Sakaguchi | 2019-12-03 23:11:03 +0900 |
|---|---|---|
| committer | Cyril Cohen | 2019-12-11 14:26:52 +0100 |
| commit | 3f6aa286677f6cb0659300afd2b612b7bce20e73 (patch) | |
| tree | 1a2abb3ee70e24b31ece51f6bc5b8a2ea248d6a2 /mathcomp/Make | |
| parent | 0d7ffe8610da33bdce2cf7f612eef7e5a777cd8e (diff) | |
The compatibility module in ssrnum should now be for version 1.10
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions