diff options
| author | Cyril Cohen | 2018-07-31 15:58:21 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-31 15:58:21 +0200 |
| commit | 1a4a4b1cd2407ffd8b76fb544596d1c91ea63a4b (patch) | |
| tree | 93da9bb6016bdc5fe5b82b9ebc17e53b98a4d085 /mathcomp/ssreflect/plugin | |
| parent | 7d7b0688c818c5dde68d2b2bfc8ba3aecfe017d6 (diff) | |
some things should always be done
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions