diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:32:20 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:32:20 +0200 |
| commit | 8d98966a376b19fdfde3e4d8801d666bb4c1018f (patch) | |
| tree | e6c0750f1ddffc4c1e0a185e7e13c78fd10e4628 /.gitignore | |
| parent | 1c5d8f0b46b601b0c8a288f7de156225dd50dd66 (diff) | |
| download | smtcoq-8d98966a376b19fdfde3e4d8801d666bb4c1018f.tar.gz smtcoq-8d98966a376b19fdfde3e4d8801d666bb4c1018f.zip | |
Comment tests
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions