diff options
| author | Enrico Tassi | 2018-02-06 13:52:29 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-02-06 15:46:26 +0100 |
| commit | 3b2fd56a5645b3bd436085e514519c9f61200ae5 (patch) | |
| tree | 367841c04d6b97dd0776bf15c4ff63805b2dfd72 /mathcomp/ssreflect/plugin | |
| parent | 64c6b07ff318b9eee032e929f0cd25b2e2ddaeda (diff) | |
add 3 tests to Make
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions