diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 22:48:23 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 22:48:23 +0200 |
commit | fcc5d6af5f97b7efe9a38fa008abe82078ea2d39 (patch) | |
tree | b2154fea00e1a2152f2dc753d8fe82887cb33eaf /src/extraction/test.ml | |
parent | 4e6129afb9aab53d14f16ac74a5a4e80323b5813 (diff) | |
download | smtcoq-fcc5d6af5f97b7efe9a38fa008abe82078ea2d39.tar.gz smtcoq-fcc5d6af5f97b7efe9a38fa008abe82078ea2d39.zip |
updated .gitignore
Diffstat (limited to 'src/extraction/test.ml')
0 files changed, 0 insertions, 0 deletions