diff options
| author | Pascal Kuthe | 2023-04-13 18:37:33 +0000 |
|---|---|---|
| committer | GitHub | 2023-04-13 18:37:33 +0000 |
| commit | 5ec41195a0dde08c559f9f1b95c0ff4054dfa2ba (patch) | |
| tree | acd8ed7acf447dbfddffc24e049a9857f2f645a6 /runtime/queries/lean/injections.scm | |
| parent | bff7fc8695f1d58b918f94dee7638f8a4a1e4b0e (diff) | |
ensure :toggle soft-wrap.enable works by default (#6742)
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions