diff options
author | wojciechkepka | 2021-06-18 03:57:36 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2021-06-18 08:42:38 +0000 |
commit | bbefc1db63f7c3933adfd91fc404db9850af8399 (patch) | |
tree | dd993aab36ba1abb5d639512004ecd845cc4e115 /runtime/queries/latex/highlights.scm | |
parent | d095ec15d4672ec5fb3b1f4a85282db31f40c6ea (diff) |
Add an option to disable display of progress in status bar
Diffstat (limited to 'runtime/queries/latex/highlights.scm')
0 files changed, 0 insertions, 0 deletions