diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-02-26 09:14:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-26 09:14:41 +0100 |
commit | 68f675fba25f733fe076d810db0fd169a212725c (patch) | |
tree | 4bcb57a1b04dc3685f4d9db0488be4f36eeac7ac /core/io | |
parent | e47b4bdc3d4710ea091e196ed2f19e922a5c0098 (diff) | |
parent | de95493de2f4f28a2bcc953c05ce26daa6b96b7a (diff) |
Merge pull request #26290 from groud/move_setting_to_layout
Move the FileSystem dock layout properties to the per-project layout file
Diffstat (limited to 'core/io')
0 files changed, 0 insertions, 0 deletions