diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:06:48 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:06:48 +0200 |
| commit | fd20ab4585d6e445cd9998ca33e70eb046613be1 (patch) | |
| tree | 7a0524a4a6ff38ebe2efc32df6d60f108c665cdd /unit-tests | |
| parent | 63d12545c8b39b658c4a561667279f9ee4ce5baf (diff) | |
| download | smtcoq-fd20ab4585d6e445cd9998ca33e70eb046613be1.tar.gz smtcoq-fd20ab4585d6e445cd9998ca33e70eb046613be1.zip | |
No configure anymore
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions