diff options
| author | Vincent Laporte | 2019-05-09 12:44:28 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-09 12:50:32 +0000 |
| commit | 66df9050edb8c1fe10992a58f2ec51957cf03449 (patch) | |
| tree | 969be39526738aceef400ce634dbf7dc3dd7162f /kernel | |
| parent | b2826206063c1ce596736a1e92550b4c24eaea71 (diff) | |
Ignore generated dune file for Ltac2
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions