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 /src/versions/native | |
| parent | 37f297b89f04155124237acf3d7f220a9dcd1544 (diff) | |
| download | smtcoq-23539f231727113d53e4fdeae531d048b21730ae.tar.gz smtcoq-23539f231727113d53e4fdeae531d048b21730ae.zip | |
No more "configure.sh"
Diffstat (limited to 'src/versions/native')
0 files changed, 0 insertions, 0 deletions