diff options
| author | Blaž Hrastnik | 2021-11-22 02:26:16 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-11-22 02:26:16 +0000 |
| commit | 28fd704bce2fec56e46991b26eed5a17e519e6bd (patch) | |
| tree | d2f90f511a92468cd0ad945afe143a911c719249 /book/theme/css/variables.css | |
| parent | b55ca8fdb843972ee11f73e9e32b966541da4ba8 (diff) | |
ui: Since diagnostics are sorted, we can use binary search
Diffstat (limited to 'book/theme/css/variables.css')
0 files changed, 0 insertions, 0 deletions