diff options
| author | Cyril Cohen | 2017-02-06 23:13:31 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2017-02-06 23:14:04 +0100 |
| commit | 8ec7ab833235c71ac701ad4a4fa09aca87008e4f (patch) | |
| tree | be1778827c65d47c53a5e8a32ee9e2adb407c05f /mathcomp/ssreflect/plugin/trunk | |
| parent | 03813123823780fc4a17e960a50758055573c7da (diff) | |
Build status in README
Diffstat (limited to 'mathcomp/ssreflect/plugin/trunk')
0 files changed, 0 insertions, 0 deletions