diff options
| author | Enrico | 2019-05-22 09:59:04 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-22 09:59:04 +0200 |
| commit | 99c7bbfce81c182ef95b4a5dd8b9e2f09b4f6d2e (patch) | |
| tree | 5f46b449bdd11c3cfec1f2d147bc517bee6b5a59 /docs/htmldoc/mathcomp.algebra.interval.html | |
| parent | 65ba1f810f43a5fc200e41298a07b1663ee3d9bd (diff) | |
be explicit about opam version 2.x
Diffstat (limited to 'docs/htmldoc/mathcomp.algebra.interval.html')
0 files changed, 0 insertions, 0 deletions