diff options
| author | Cyril Cohen | 2020-03-12 11:52:58 +0100 |
|---|---|---|
| committer | GitHub | 2020-03-12 11:52:58 +0100 |
| commit | d2443948206ddf78706add540c27341da4abc906 (patch) | |
| tree | 685d05780ade701d4e44b13f7e4c119f13f68956 /etc/utils | |
| parent | bf4ddf1894c6ac63dffae2bdad8f8c5300ba0954 (diff) | |
| parent | 53d9b14fd642e4b97f70c47c47bc8b243523dbbd (diff) | |
Merge pull request #465 from erikmd/coq-8.11
[ci] test-build and deploy mathcomp/mathcomp-dev:coq-8.11
Diffstat (limited to 'etc/utils')
0 files changed, 0 insertions, 0 deletions