diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-21 08:16:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-21 08:16:51 +0100 |
| commit | d77d85d23e0400722920872892592c36b36f5cb9 (patch) | |
| tree | 69b49db85cbaa221885b5e1fdbab921a65f9f965 /.github | |
| parent | fbd94dbe88be6bd8baefe9b438ca456a0ce52e96 (diff) | |
| parent | 6d4514c95e88acabd88fb5c426ed7a422fcf070a (diff) | |
Merge pull request #59367 from Calinou/script-editor-decrease-line-spacing
Decrease the default line spacing in the script editor
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions