diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-06-02 18:40:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-02 18:40:58 +0200 |
commit | 4e52b84011b4b3c9edb7646731c3ffe451d26316 (patch) | |
tree | 53a3e0d4923558d3fd70a70119a78db73460b676 /modules/visual_script/config.py | |
parent | 8b06d4275d78debf2bb3d326899648f56abbb492 (diff) | |
parent | d95bc3fa6705af7976e58e21d548c790b8ac4ce7 (diff) |
Merge pull request #49148 from reduz/use-bold-fonts
Use bold fonts in editor
Diffstat (limited to 'modules/visual_script/config.py')
0 files changed, 0 insertions, 0 deletions