diff options
| author | Omnikar | 2021-11-05 02:25:08 +0000 |
|---|---|---|
| committer | GitHub | 2021-11-05 02:25:08 +0000 |
| commit | cfc82858679d264d178a0b072da26828e685de12 (patch) | |
| tree | 214e1e538effee89d28c3b948c290555d19e0d82 /runtime/queries/html/highlights.scm | |
| parent | 51b4d35dce92fa7bf85780cb2ba0e531db378448 (diff) | |
Allow infoboxes to be disabled (#972)
* Allow infoboxes to be disabled
* Document `infoboxes` default value
* Rename `infoboxes` to `auto_info`
* Document `auto-info`
* Fix incomplete rename
Diffstat (limited to 'runtime/queries/html/highlights.scm')
0 files changed, 0 insertions, 0 deletions