diff options
| author | Enrico Tassi | 2018-04-20 14:15:22 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 14:15:22 +0200 |
| commit | e418a8b26b66ce88e22cff5978823e25aab03d94 (patch) | |
| tree | d2572c693f576f5e0e2a025152e3e1231528469c /mathcomp/solvable | |
| parent | 536499fe46edbe2c0473b81ba5f7cc15b4ff9edf (diff) | |
remove ssr plugin for 8.4 and 8.5
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions