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/dhall | |
parent | 20b91fd99a91621d6153cd00f5527b7571290df4 (diff) |
don't automatically dismiss zero width diagnostics (#9280)
Diffstat (limited to 'runtime/queries/dhall')
0 files changed, 0 insertions, 0 deletions