diff options
| author | Cyril Cohen | 2018-12-10 18:31:46 +0100 |
|---|---|---|
| committer | GitHub | 2018-12-10 18:31:46 +0100 |
| commit | 67ccc34eb6f05383e0e7bd90c7df9e4fb51f2a87 (patch) | |
| tree | a54cd823592f397d744fb7c17449c1d6a333ab74 /mathcomp/solvable | |
| parent | e99b8b9695cdb53492e63077cb0dd551c4a06dc3 (diff) | |
| parent | 7ae08ee81c6859fb7ee4043207d87572a4bc3bc3 (diff) | |
Merge pull request #248 from anton-trunov/remove-Type-from-packed-classes
Remove `_ : Type` from packed classes
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions