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/versions/native/Make | |
| parent | 4e6129afb9aab53d14f16ac74a5a4e80323b5813 (diff) | |
| download | smtcoq-fcc5d6af5f97b7efe9a38fa008abe82078ea2d39.tar.gz smtcoq-fcc5d6af5f97b7efe9a38fa008abe82078ea2d39.zip | |
updated .gitignore
Diffstat (limited to 'src/versions/native/Make')
0 files changed, 0 insertions, 0 deletions