diff options
| author | coqbot-app[bot] | 2020-11-27 08:19:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-27 08:19:04 +0000 |
| commit | c294664df8e9190a2fbb6153c70c208f58c7db70 (patch) | |
| tree | d2711e5a18bbfca1c4633582afc37b2141e27489 /tactics/equality.ml | |
| parent | 7f3c46acc937eb9257c29b5881e5a8b17b28cd48 (diff) | |
| parent | 405e63c69f8cc00c7edcc07599fcd5abd44024ba (diff) | |
Merge PR #13491: Reactivate test-suite on MacOS X, accidently merged in #13476
Reviewed-by: gares
Diffstat (limited to 'tactics/equality.ml')
0 files changed, 0 insertions, 0 deletions