diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 19:28:50 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 19:28:50 +0200 |
| commit | 07c761c5edc876db6a15aeee7b394580e8ac612e (patch) | |
| tree | f8a8c54dc4377acf42c0fdabd0a4cc6b7ac5a6a0 /USE.md | |
| parent | 7ee018d1d4c8aa3c3bacb787da2dc18089d01329 (diff) | |
| parent | 6624816f2363dfd0b28ae3e1402704b330db1aae (diff) | |
| download | smtcoq-07c761c5edc876db6a15aeee7b394580e8ac612e.tar.gz smtcoq-07c761c5edc876db6a15aeee7b394580e8ac612e.zip | |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'USE.md')
0 files changed, 0 insertions, 0 deletions