diff options
| author | Théo Zimmermann | 2019-11-28 15:10:52 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-11-28 15:10:52 +0100 |
| commit | b73c89c240a9aa4e2120f0680980a1d194069330 (patch) | |
| tree | 706a3fe8b4bcf14983eb09265c6052b0d8978ba7 /dev | |
| parent | d2a995927ccb01dae73960780c7fa0fed0a37e6d (diff) | |
| parent | 254efbe77e9c7b9dfefe52825ed062c202060507 (diff) | |
Merge PR #11197: Release notes for Coq 8.10.2
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions