diff options
| author | Vincent Laporte | 2019-11-27 14:53:44 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-11-28 12:50:20 +0000 |
| commit | 254efbe77e9c7b9dfefe52825ed062c202060507 (patch) | |
| tree | 706a3fe8b4bcf14983eb09265c6052b0d8978ba7 /dev/ci/ci-basic-overlay.sh | |
| parent | d2a995927ccb01dae73960780c7fa0fed0a37e6d (diff) | |
Release notes for Coq 8.10.2
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions