diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-07 17:23:59 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-07 17:23:59 +0200 |
| commit | a438e1c168b36b1b24ce71ba091d549ba3917b3b (patch) | |
| tree | 54695be393a8e10a50f75cce79defe967f794d08 /src | |
| parent | 4bfaa0e4f2f9c2e05c245258b95bc3fe643f3e25 (diff) | |
| parent | 11f8d5d4d1fa54b7c14c8dd02934a32d1ff69ab6 (diff) | |
| download | smtcoq-a438e1c168b36b1b24ce71ba091d549ba3917b3b.tar.gz smtcoq-a438e1c168b36b1b24ce71ba091d549ba3917b3b.zip | |
Merge remote-tracking branch 'origin/master' into coq-8.10
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions