diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2017-11-24 18:30:29 +0100 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2017-11-24 18:30:29 +0100 |
| commit | df87cbf270ade1dfacd2f2d8866ac007f015c78c (patch) | |
| tree | bd1346fd9f587588a9676f3d19cc11dbddca4195 /src/versions/standard | |
| parent | a11eaaddc674c8dbce54c0a0c3ceb1059a0059f0 (diff) | |
| download | smtcoq-df87cbf270ade1dfacd2f2d8866ac007f015c78c.tar.gz smtcoq-df87cbf270ade1dfacd2f2d8866ac007f015c78c.zip | |
gitignore
Diffstat (limited to 'src/versions/standard')
0 files changed, 0 insertions, 0 deletions