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 /src/trace/smtCertif.mli | |
parent | fe7938a490d80442702cc61f9163cd4f7fcbd71d (diff) | |
download | smtcoq-4294883295f02122cde3e43f73e166f40390520b.tar.gz smtcoq-4294883295f02122cde3e43f73e166f40390520b.zip |
Update gitignore
Diffstat (limited to 'src/trace/smtCertif.mli')
0 files changed, 0 insertions, 0 deletions