diff options
| author | Cyril Cohen | 2018-02-21 15:10:05 +0100 |
|---|---|---|
| committer | GitHub | 2018-02-21 15:10:05 +0100 |
| commit | 13f26ccc09f87b222f9601892f085276a6ddb8c0 (patch) | |
| tree | d5b8ee38a7ba049d3d7b2da5c9edfe0f51ba1ec8 /mathcomp/ssreflect/Make | |
| parent | d6bc72cd477ed6fe8b95782b26a2e0fc92711395 (diff) | |
| parent | 3b2fd56a5645b3bd436085e514519c9f61200ae5 (diff) | |
Merge pull request #177 from gares/fix/missing-ssrtest-in-Make
add 3 tests to Make
Diffstat (limited to 'mathcomp/ssreflect/Make')
0 files changed, 0 insertions, 0 deletions