diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-20 11:15:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-20 11:15:38 +0200 |
| commit | 16b0191173242edca05813b1064de8d14c06deeb (patch) | |
| tree | d36ea23d2653ba5f74e7d64b5567f606093f2ca9 /platform/javascript/engine.js | |
| parent | cf7a66195fadd078bb5d6fafebf54e250f5163e7 (diff) | |
| parent | c029e82761b7ae7b77708cf3bff757e50acefebf (diff) | |
Merge pull request #23160 from groud/filesystem_favorites_fix
Make folders clicked in the filesystem dock open the selected folder
Diffstat (limited to 'platform/javascript/engine.js')
0 files changed, 0 insertions, 0 deletions