diff options
| author | Kenji Maillard | 2020-05-11 23:10:03 +0200 |
|---|---|---|
| committer | Kenji Maillard | 2020-05-11 23:10:03 +0200 |
| commit | ceb1f5676fa3fd5c1a0b06d45ec62626175d78aa (patch) | |
| tree | 7c6afb41571711624db7927fcc2b35a29545e676 /dev/ci | |
| parent | 6cb24494fe8b6e945c6b6696134a6a42ecdab6ec (diff) | |
More tests of rebinding Ltac2 definitions
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions