diff options
| author | coqbot-app[bot] | 2020-11-15 15:25:39 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-15 15:25:39 +0000 |
| commit | 3ea3da24690e0e680c30b39e45f07a7e6500faac (patch) | |
| tree | ea772b55dc92d29a49ca576d9841fc54f2129dfe /kernel | |
| parent | e476ded00efed5185a435f28551f1aa88b6c374a (diff) | |
| parent | 53aa272821c2cd94e4b05382fa33449e851c7a90 (diff) | |
Merge PR #13368: Fix dune rules for @check-gram following recent changes.
Reviewed-by: jfehrle
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions