diff options
| author | Cyril Cohen | 2020-06-09 17:09:34 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-09 17:09:34 +0200 |
| commit | 313e44316177c918b363c118f15297e08d13eb4e (patch) | |
| tree | 336033429d069cba5440c05bab911d74129b059c /mathcomp/basic | |
| parent | 06c58fed334edaccc85c0c58ad6d6f8765bf42ab (diff) | |
removing opam `| (= "dev")` for released packages
Diffstat (limited to 'mathcomp/basic')
0 files changed, 0 insertions, 0 deletions