diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-11-19 23:33:33 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-11-19 23:33:33 +0100 |
| commit | 8eeb4ad8f6df3bedebdb86f95e013a9ea71fb687 (patch) | |
| tree | 435a9afc2cfd900e6cb76e77d3e57b964c89ec8c /src/syntax/highlight.rs | |
| parent | 565b1977aef9db70aef29a1eb8747f42a7fe4a15 (diff) | |
Rename `margins` to `margin`
Diffstat (limited to 'src/syntax/highlight.rs')
0 files changed, 0 insertions, 0 deletions