diff options
| author | coqbot-app[bot] | 2021-02-25 09:59:45 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-25 09:59:45 +0000 |
| commit | 26439e3eebc3d0b76d8cf89a71cfd0de07731c26 (patch) | |
| tree | f50a123e93e990724f9c756b90d0a4660a23e433 /kernel/nativecode.ml | |
| parent | 1c80a79ae2824027edeea2439bf7e53298724be8 (diff) | |
| parent | 94d44211fa918a75482d97cc9498811fcbcda0b2 (diff) | |
Merge PR #13738: Make sure Ltac2 get cleaned too.
Reviewed-by: gares
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions