diff options
| author | Erik Martin-Dorel | 2018-12-20 17:36:24 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2018-12-20 19:38:50 +0100 |
| commit | 1046da99d22462d6aeb23dd12043c2537f47abf1 (patch) | |
| tree | 0f8825e63abebc392f142d6e8d8dbb8fc5a905f4 /mathcomp/_CoqProject | |
| parent | 528d71783b0e34181d720a6456ea0a87a01abe25 (diff) | |
Move-and-rename opam files to the root folder
* (Update make's path accordingly)
* This patch is required for opam 2.0 pinning
* As a result, these *.opam files are now similar to the opam files in
https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-mathcomp-*/coq-mathcomp-*.dev/
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions