diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 11:41:58 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 11:41:58 +0200 |
| commit | 91fbd87f2f409124076f1544d0a466f2de7318b6 (patch) | |
| tree | ba1b5a2773416fd05e39fb90280d2506644217b7 /.gitignore | |
| parent | fa6d0060893fa19b57869475aac0af23a4452e60 (diff) | |
| parent | 2c3b041073910c7d84d7995992e014e56aaed1fb (diff) | |
| download | smtcoq-91fbd87f2f409124076f1544d0a466f2de7318b6.tar.gz smtcoq-91fbd87f2f409124076f1544d0a466f2de7318b6.zip | |
Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions