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 /AUTHORS | |
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 'AUTHORS')
0 files changed, 0 insertions, 0 deletions