diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 18:17:24 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 18:17:24 +0100 |
commit | 23539f231727113d53e4fdeae531d048b21730ae (patch) | |
tree | 5cdb0d11e4e2cdc27fc5430ef43df1e67247c9c6 /unit-tests | |
parent | 37f297b89f04155124237acf3d7f220a9dcd1544 (diff) | |
download | smtcoq-23539f231727113d53e4fdeae531d048b21730ae.tar.gz smtcoq-23539f231727113d53e4fdeae531d048b21730ae.zip |
No more "configure.sh"
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions