diff options
| author | Pierre-Marie Pédrot | 2016-02-15 13:26:23 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-02-15 13:28:57 +0100 |
| commit | 442df41ec75a51598be771f981ae17dd8d385481 (patch) | |
| tree | 8077840800d2d1ea85a33d718ee3476efd1e1f8b /mathcomp/ssrtest | |
| parent | 57cc7ecae9378ceaa863ae8fd32bc767100c54e0 (diff) | |
Removing compatibility layers.
Diffstat (limited to 'mathcomp/ssrtest')
0 files changed, 0 insertions, 0 deletions