diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 18:20:58 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 18:20:58 +0200 |
| commit | 7ee018d1d4c8aa3c3bacb787da2dc18089d01329 (patch) | |
| tree | 59241b35d20c3ca9f21e3730034e04f68e391595 /USE.md | |
| parent | e777cf2a8aa3b35e7cc742458c0ab3094eb9ae85 (diff) | |
| parent | 2d35d064fd4cc91383527c85b011e4f298b3b33b (diff) | |
| download | smtcoq-7ee018d1d4c8aa3c3bacb787da2dc18089d01329.tar.gz smtcoq-7ee018d1d4c8aa3c3bacb787da2dc18089d01329.zip | |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'USE.md')
0 files changed, 0 insertions, 0 deletions