diff options
| author | Pierre-Marie Pédrot | 2021-03-07 14:06:47 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-03-07 14:06:47 +0100 |
| commit | 4a0cf0f3fb4a1a57627f22897030771b2921ce85 (patch) | |
| tree | f590e4a350515fbcf30b6c108d19657fa5f4866b /tactics | |
| parent | 0d20fdbd82da5c4008a2d49bbf7aad92ada25227 (diff) | |
| parent | 3404069faab82af02622823f0fac4d6800b0f5dd (diff) | |
Merge PR #13910: Attempt to fix the bench after coq-core split
Reviewed-by: ppedrot
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions