diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-26 19:37:47 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-26 19:37:47 +0200 |
commit | e9c632d4bb818755154e86c8fb9f4c18d21064e5 (patch) | |
tree | 28d9d5bc646adb05c3d92cd0da1cb7f52c450a55 /.gitignore | |
parent | 222031f6edc934ff4611a46780a148e1160c1d7b (diff) | |
download | smtcoq-e9c632d4bb818755154e86c8fb9f4c18d21064e5.tar.gz smtcoq-e9c632d4bb818755154e86c8fb9f4c18d21064e5.zip |
Port Lia.v
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions