diff options
| author | Georges Gonthier | 2019-04-29 17:59:14 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-29 17:59:14 +0200 |
| commit | c3b8865dbf01c857b6b619c620095c0385f66977 (patch) | |
| tree | ee443d2cf69970aece83d93435fe598994fbf8ff /.gitlab-ci.yml | |
| parent | 8e27a1dd704c8f7a34de29d65337eb67254a1741 (diff) | |
| parent | dae54440f08364552e1a82ac7984f35d1864f1e5 (diff) | |
Merge pull request #337 from math-comp/coq-ssrbool-refactor-compat
Generalise use of `{pred T}` from coq/coq#9995
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions