diff options
author | Pascal Kuthe | 2023-03-26 16:10:09 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2023-12-27 06:28:14 +0000 |
commit | 8653e1b02f6193330f8b0f2afff0a2ff103bd6a4 (patch) | |
tree | f6a04a6e55b437359d77a8d857e803593c625ef3 /book/theme/favicon.svg | |
parent | c874a896a5151043a5cd7336e12ebc3a928fc677 (diff) |
Add config to mark diagnostic sources as persistent
Diffstat (limited to 'book/theme/favicon.svg')
0 files changed, 0 insertions, 0 deletions