diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-30 09:28:52 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-30 09:28:52 +0200 |
commit | 6f949718d1c5a87e0191a63158748b81ddfbc8cd (patch) | |
tree | 42302ae15a27b40d3a0aa34e8ae2f79f953300e7 /.gitignore | |
parent | 64645357edd12bcd3b1d1b5735b7226e89d2a623 (diff) | |
parent | 2047f81d05ba46c82d9c503358c4eec17dff7d27 (diff) | |
download | smtcoq-6f949718d1c5a87e0191a63158748b81ddfbc8cd.tar.gz smtcoq-6f949718d1c5a87e0191a63158748b81ddfbc8cd.zip |
Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions