diff options
| author | Cyril Cohen | 2017-10-19 20:40:10 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2017-10-19 20:50:06 +0200 |
| commit | 6a2e6d2f6a1aeec7255a4a874dece7f3664bb469 (patch) | |
| tree | ff7fca3e7fbd49291d618d9815a1e5873c54401c /mathcomp/odd_order | |
| parent | 5466772ab7a59081aed4bcf990bef74e9bd48965 (diff) | |
new script to create opam meta packages
- the opam files in the branch where the script is launched should be correct
- if not, the second argument to the script should be a branch in which the opam files are correct
Diffstat (limited to 'mathcomp/odd_order')
0 files changed, 0 insertions, 0 deletions