diff options
| author | Enrico Tassi | 2019-12-11 17:24:15 +0000 |
|---|---|---|
| committer | GitHub | 2019-12-11 17:24:15 +0000 |
| commit | 03b768d706def7097fc4ad2e72338f7733d51c84 (patch) | |
| tree | 5acc46d5f8c6f1a069d9276f2054b0c85dee2bb9 /mathcomp/character | |
| parent | bb8f291fc40668f987c8ea5cf3941980342e46b2 (diff) | |
| parent | 0cfd17ed2c13ef8e88384b0135501f159d49bb90 (diff) | |
Merge pull request #445 from ybertot/opam-packages
take advantage of opam variables and their default values
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions