diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-01-17 22:54:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-17 22:54:42 +0100 |
commit | 798246c34b1a83339a6c7c72618529f28ffb1e4e (patch) | |
tree | 8708976a898a6b71e9a0e81eed234f6728bc79d1 /doc/classes/ClassDB.xml | |
parent | e0336996ce2a593716f4f47ca5102077d397af94 (diff) | |
parent | d4de7cf186ec04f8f05954add759c8f79ea67154 (diff) |
Merge pull request #25076 from groud/fix_filesystem_dock
Fixes crash in the Filesystem dock
Diffstat (limited to 'doc/classes/ClassDB.xml')
0 files changed, 0 insertions, 0 deletions