diff options
| author | Cyril Cohen | 2015-07-21 17:21:41 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2015-07-21 17:21:41 +0200 |
| commit | 6d3dcee3ead208e6e40979ad9252abf192cfbbd7 (patch) | |
| tree | b31be11bfda815a9ec31465f63fd817b216212e6 /mathcomp/basic | |
| parent | 663721c0c431bb4b7a903082edd42c28407ffe91 (diff) | |
make opam meta-data
Diffstat (limited to 'mathcomp/basic')
0 files changed, 0 insertions, 0 deletions