diff options
| author | Enrico Tassi | 2016-01-21 11:01:12 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-01-21 11:01:12 +0100 |
| commit | 9d16212c7965d9caff2ad8154c2461d147463b04 (patch) | |
| tree | faa9a9d5e558bdc8108f23d0741bbdbec1ee2918 /mathcomp/ssreflect/plugin | |
| parent | ad273277ab38bfe458e9332dea5f3a79e3885567 (diff) | |
revise installer for windows
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions