diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:20:30 +0100 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:20:30 +0100 |
| commit | a25181f93604e279b899552b119d68df0c63b0ad (patch) | |
| tree | fcf69e5cdd62346b9d67a5c2e3bdb60eb0b0d8c3 /.gitignore | |
| parent | f479497576c11bc0fcc116ede778d1744be6d78e (diff) | |
| download | smtcoq-a25181f93604e279b899552b119d68df0c63b0ad.tar.gz smtcoq-a25181f93604e279b899552b119d68df0c63b0ad.zip | |
Re-fixes in Example.v
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions