diff options
| author | Enrico Tassi | 2015-11-06 19:33:08 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-11-06 19:33:08 +0100 |
| commit | 10587836fd6bda9f189ed3ecea456a8c4ac7af16 (patch) | |
| tree | 605e3298001b404742be499ae4bc1467959ec238 /mathcomp/ssreflect/plugin | |
| parent | 6862e60289b8d12b4b8a2a7867bd07597bead3d7 (diff) | |
First stab at INSTALL
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions