diff options
| author | Ivan Tham | 2022-07-26 01:08:09 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-26 01:08:09 +0000 |
| commit | 2f980471f816e841628cf2b75d8d8e689b3fe9d5 (patch) | |
| tree | 1ad4c08e3c8fd57003513eba062507b570d111a1 /runtime/queries/latex/injections.scm | |
| parent | bfdcfec8c954225f79b49ce3e4db4bb76715ae69 (diff) | |
Make gutters padding automatic (#3163)
Remove padding gutter type, and automatically add 1 padding if gutters is
non-empty.
Diffstat (limited to 'runtime/queries/latex/injections.scm')
0 files changed, 0 insertions, 0 deletions