diff options
| author | ckeller <ckeller@users.noreply.github.com> | 2020-01-15 17:03:08 +0100 |
|---|---|---|
| committer | ckeller <ckeller@users.noreply.github.com> | 2020-01-15 17:03:08 +0100 |
| commit | f3034d014ccb0afe4c4c03b84e33118f9cb97d90 (patch) | |
| tree | 623d203867b1d97d872b791e5e5c72144c63e7ce /unit-tests/Tests_verit_vernac.v | |
| parent | 06bd8685c7dd00fbfe544615ca4d5e2f71cfaaed (diff) | |
| download | smtcoq-f3034d014ccb0afe4c4c03b84e33118f9cb97d90.tar.gz smtcoq-f3034d014ccb0afe4c4c03b84e33118f9cb97d90.zip | |
Set theme jekyll-theme-slate
Diffstat (limited to 'unit-tests/Tests_verit_vernac.v')
0 files changed, 0 insertions, 0 deletions