diff options
| author | Pascal Kuthe | 2024-01-09 00:54:55 +0000 |
|---|---|---|
| committer | GitHub | 2024-01-09 00:54:55 +0000 |
| commit | 4da6191a1c821eaff580392b41a2eb7245a475b7 (patch) | |
| tree | d3beb25ec3518b18d221639ac8a273531a312ca2 /runtime/queries/lean/folds.scm | |
| parent | 20b91fd99a91621d6153cd00f5527b7571290df4 (diff) | |
don't automatically dismiss zero width diagnostics (#9280)
Diffstat (limited to 'runtime/queries/lean/folds.scm')
0 files changed, 0 insertions, 0 deletions