diff options
| author | coqbot-app[bot] | 2020-12-04 08:29:55 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-04 08:29:55 +0000 |
| commit | b01b5fc9e56cf461d09d2884edefd232c9c63d6e (patch) | |
| tree | 3fe7ec71a6230638dd03bc9f58ded6157e239167 /engine | |
| parent | 88f23b3095c223966352b7d8c2d9990250f0c640 (diff) | |
| parent | d20e4edab5912eb41b8408c3c8ab7541f4fc7834 (diff) | |
Merge PR #13527: Changes for Coq 8.13
Reviewed-by: Zimmi48
Ack-by: jfehrle
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions