diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-16 12:16:12 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-16 12:16:12 +0100 |
| commit | 90d3ce10b41159c0bfe266ce403e4b5f31d970cf (patch) | |
| tree | 73acfe706e166d07849844aca7f35bcc786e5268 /ci | |
| parent | 378d660b82e409a1832b20815c3482be6e753ef8 (diff) | |
| download | smtcoq-90d3ce10b41159c0bfe266ce403e4b5f31d970cf.tar.gz smtcoq-90d3ce10b41159c0bfe266ce403e4b5f31d970cf.zip | |
Add the full example of the webpage in the unit tests
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions