diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-20 07:16:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-20 07:16:11 +0200 |
| commit | 231511b2a64d6819183227356f3ac22ed6e518fe (patch) | |
| tree | 3da29aa1b9466292be211e93c5f68b95a8bec841 /editor/icons/source/icon_v_separator.svg | |
| parent | 6fd217d7c3afb1f7e4c68f9ab40883593f617a7e (diff) | |
| parent | bb8129304791e8cde23694168b9e121b71161e96 (diff) | |
Merge pull request #8631 from volzhs/editor-theme-custom
New customizable editor theme
Diffstat (limited to 'editor/icons/source/icon_v_separator.svg')
0 files changed, 0 insertions, 0 deletions