diff options
author | Wojciech Kępka | 2021-06-18 13:41:49 +0000 |
---|---|---|
committer | GitHub | 2021-06-18 13:41:49 +0000 |
commit | 1bb3b778adf6d03c10898f17858c6881afcd3d1f (patch) | |
tree | e0904888cf55050e220af8b86b89911b8bc068c9 /book/theme/book.js | |
parent | b1cb98283dacf98fb15e5fbcdb12d0be4161190b (diff) |
Don't derive `Default` for `GlobalConfig` (#297)
We shouldn't derive Default because `lsp_progress` by default should be turned on (opt out).
Diffstat (limited to 'book/theme/book.js')
0 files changed, 0 insertions, 0 deletions