diff options
| author | Kazuhiko Sakaguchi | 2021-01-21 04:54:34 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2021-01-22 13:55:50 +0900 |
| commit | 9ea33f07e98066cd05b5ab93f336f95e83272828 (patch) | |
| tree | 7bba03ce76174ea28130fd275364a130899d1ac6 /mathcomp/algebra/polydiv.v | |
| parent | 5f748f7ed9940c0db56e7dadd166f5e69bde6da9 (diff) | |
Remove deprecation aliases introduced in 1.9.0
Diffstat (limited to 'mathcomp/algebra/polydiv.v')
0 files changed, 0 insertions, 0 deletions