diff options
| author | Samuel Grigolato <samuel.grigolato@gmail.com> | 2016-06-26 17:03:42 -0300 |
|---|---|---|
| committer | Samuel Grigolato <samuel.grigolato@gmail.com> | 2016-06-26 19:21:40 -0300 |
| commit | f55dc6d0b6a0407fa9f88e38169fe1d216969f74 (patch) | |
| tree | 137e4cd4c9093fe7976dda1436b228b3861873b2 /tools/buildstuff | |
| parent | 10f411b47bd46fc28f780be9f70c20228ef4428c (diff) | |
Fix issue when switching between FileSystem and other editor docks. #5384
Diffstat (limited to 'tools/buildstuff')
0 files changed, 0 insertions, 0 deletions