diff options
| author | Cyril Cohen | 2016-03-03 14:53:37 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2016-03-03 14:53:48 +0100 |
| commit | 42ae48695694641c67a86adb299e34f6c1366f4f (patch) | |
| tree | 202c4064e617645abf8d1954c2a5b9f972566e07 /mathcomp/ssreflect/plugin | |
| parent | d5dda70797fae71532810adb9cc57becae44af21 (diff) | |
fix local opam file
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions