diff options
author | Matouš Dzivjak | 2022-09-08 21:10:24 +0000 |
---|---|---|
committer | Michael Davis | 2022-09-08 23:38:41 +0000 |
commit | 321cce3f13b2609f7d7d4fc3bef4257809acf484 (patch) | |
tree | f58fe06970186d31bbeef61a41622774d70fd535 /book/src/themes.md | |
parent | 76b3f502c40913cb73096720bc9702c0a5242a5e (diff) |
enable lint option
Enable lint option to highlight unused vars, etc.
and take full advantage of the running language server.
Diffstat (limited to 'book/src/themes.md')
0 files changed, 0 insertions, 0 deletions