diff options
| author | nosa | 2022-07-01 10:18:39 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-01 10:18:39 +0000 |
| commit | 8a19196ad55cd8461b0a621ecfe373b0b3407ec5 (patch) | |
| tree | 794c43b9929045231e9dad2daff044c05108de35 /book/theme/favicon.png | |
| parent | 9ae70cc410bd042b5cf119c571db323436caf08b (diff) | |
Updated for #2676 , but I took the opportunity to do some other changes. (#2929)
- Misspelling of 'modifiers' for markdown.heading.1 and 2.
- Errors are now just underlined instead of in red.
- Diagnostics are dimmed, as well as whitespace.
- Add constant.builtin.
Diffstat (limited to 'book/theme/favicon.png')
0 files changed, 0 insertions, 0 deletions