diff options
| author | affeldt-aist | 2020-04-15 08:23:35 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-15 08:23:35 +0200 |
| commit | 3bd9af07d734f51de8a7ebde9004c1750400f89b (patch) | |
| tree | 187d7e461a165fde096bd6e531ae6c3d27e659c2 /mathcomp/solvable | |
| parent | bdb7ba0daeb2ea8487dfc12578a2d69f44a39751 (diff) | |
| parent | ea6d5dba608a37a8c418638847905202da6d1ab3 (diff) | |
Merge pull request #475 from CohenCyril/ssrnat_deprecated_symbols
adding deprecations in ssrnat
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions