diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-11-15 17:37:04 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-11-15 17:37:04 +0100 |
commit | f6e575e0736a80b4c253be48b3c4c58cc5101137 (patch) | |
tree | ef7668edb380bf2905a8b96b5296678abab03679 /ci | |
parent | 469eaf98bc6e0c6de32ec8dd67ddd9baa7ff30d5 (diff) | |
parent | 0a459d80f75f0abbc60936c3e5b99d993272ce6b (diff) | |
download | smtcoq-f6e575e0736a80b4c253be48b3c4c58cc5101137.tar.gz smtcoq-f6e575e0736a80b4c253be48b3c4c58cc5101137.zip |
Merge remote-tracking branch 'origin/master' into coq-8.10
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions