diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-28 14:30:11 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-28 14:30:11 +0100 |
commit | 39f2246e35c12b6c09e9850b0bb53d2ca5181d23 (patch) | |
tree | 48c1530a61176432ca6fae77f21c8d259d7b0fd7 /src/versions | |
parent | a025ca9a557b3b66f43606d228119f80d0fa2039 (diff) | |
parent | 53e71fe319df5319cd0451625e2ca039ad7b7cb2 (diff) | |
download | smtcoq-39f2246e35c12b6c09e9850b0bb53d2ca5181d23.tar.gz smtcoq-39f2246e35c12b6c09e9850b0bb53d2ca5181d23.zip |
Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10
Diffstat (limited to 'src/versions')
0 files changed, 0 insertions, 0 deletions