diff options
| author | Philipp Mildenberger | 2023-03-19 23:51:41 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 19:58:17 +0000 |
| commit | 8ee599942a0e5ff6fa1a908ca076785e0d2bd0c7 (patch) | |
| tree | eb4a2347b102a73b0d56f18a36438526735f7920 /book/theme/css/chrome.css | |
| parent | 8ab6d7be5e1b6f36215820ef616c2a9feb2306fa (diff) | |
Optimize gutter diagnostics and simplify shown_diagnostics
Diffstat (limited to 'book/theme/css/chrome.css')
0 files changed, 0 insertions, 0 deletions