diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-08 15:53:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-08 15:53:37 +0200 |
| commit | 0067982f5ece3145c00e2f4c0bc092d1ec28c8b3 (patch) | |
| tree | cc93eab869caed18a8f1cfe3fbd814256aee213e /platform/x11 | |
| parent | cd88a422c4c9826d174c74b87a0a1a9c8527e373 (diff) | |
| parent | b95ba2880065f11edaf9ba782959342adb60e0bf (diff) | |
Merge pull request #9535 from GodotExplorer/pr-editor-theme-justify
Justify the editor theme style colors
Diffstat (limited to 'platform/x11')
0 files changed, 0 insertions, 0 deletions