diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-20 17:32:14 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-20 17:32:14 +0200 |
| commit | a5c80da035230f46c95aa32145e5d53cf17bf9f7 (patch) | |
| tree | 46cbca4d4b2ea745daf33ac9f74cd87e93e2b009 /.gitignore | |
| parent | f74ac52e9c76260b9c87d3972fcb04e7e7e051ad (diff) | |
| parent | b81fc31f55c42137cdc50fd07fc34959e23a4ec3 (diff) | |
| download | smtcoq-a5c80da035230f46c95aa32145e5d53cf17bf9f7.tar.gz smtcoq-a5c80da035230f46c95aa32145e5d53cf17bf9f7.zip | |
Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions