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 /editor/plugins | |
| parent | 8b06d4275d78debf2bb3d326899648f56abbb492 (diff) | |
| parent | d95bc3fa6705af7976e58e21d548c790b8ac4ce7 (diff) | |
Merge pull request #49148 from reduz/use-bold-fonts
Use bold fonts in editor
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions