diff options
| author | Philipp Mildenberger | 2023-04-05 18:03:41 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 20:04:49 +0000 |
| commit | 656ee24966c17ed505acc2faded2da505e9c7052 (patch) | |
| tree | 0097e46b1ace3e374b7e3bfcf6bec4a204138a48 /runtime/queries/dtd | |
| parent | 2b746ea6fa6f7040e3ea51e1386bb914333594f4 (diff) | |
Simplify gutter diagnostics rendering by using partition_point instead of binary search
Co-authored-by: Pascal Kuthe <pascal.kuthe@semimod.de>
Diffstat (limited to 'runtime/queries/dtd')
0 files changed, 0 insertions, 0 deletions