diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-19 18:59:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-19 18:59:53 +0200 |
| commit | d47e1f11fe9bb4c091dbc8017f7afc220730acd7 (patch) | |
| tree | d1340e9dca608e4e4f4e9402abcd6047e927cd4e /tools/editor/plugins | |
| parent | 829d69ba52d1ac23d5533ba2b82df3a9b267195b (diff) | |
| parent | a2bff72eee3bde88184a97f2386055d369ed03f6 (diff) | |
Merge pull request #6549 from Hinsbart/default_layout
Make the choosable default editor layout the same as the actual default
[ci skip]
Diffstat (limited to 'tools/editor/plugins')
0 files changed, 0 insertions, 0 deletions