diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2019-10-01 22:32:31 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2019-10-01 22:32:31 +0200 |
| commit | 4294883295f02122cde3e43f73e166f40390520b (patch) | |
| tree | 8bfa67033c0c6e19b0a20a5daf7ac74349d48903 /USE.md | |
| parent | fe7938a490d80442702cc61f9163cd4f7fcbd71d (diff) | |
| download | smtcoq-4294883295f02122cde3e43f73e166f40390520b.tar.gz smtcoq-4294883295f02122cde3e43f73e166f40390520b.zip | |
Update gitignore
Diffstat (limited to 'USE.md')
0 files changed, 0 insertions, 0 deletions