diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-24 19:03:26 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-24 19:03:26 +0200 |
commit | efba96ef1cbbc38a3ca50194774f69e4132fa1b8 (patch) | |
tree | 9f9308bf0842c2bba6ac996956aaa2c0d9ad616a /dev/ci/README.md | |
parent | 567b9b75309ab61130b8e08dd87275d91ed97488 (diff) | |
parent | b75eba7b7e2b80ca59ff94397ee28fa951c173a9 (diff) |
Merge PR #7805: Towards listing the critical bugs of the history of Coq.
Diffstat (limited to 'dev/ci/README.md')
0 files changed, 0 insertions, 0 deletions