diff options
| author | Luis David Licea Torres <luislicea@hotmail.com> | 2023-06-12 04:46:34 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-12 12:46:34 +0200 |
| commit | 3284e7fac7c695e42fd2c666befd92742cac96be (patch) | |
| tree | d1467975caef1eabe6af30d0d1b6b3a8b88a9da1 /src/ide | |
| parent | 93e6638bfe171e3c337876d2143e4e048cd8b279 (diff) | |
Support for inside and outside margins (#1308)
Co-authored-by: Laurenz <laurmaedje@gmail.com>
Diffstat (limited to 'src/ide')
0 files changed, 0 insertions, 0 deletions