diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-30 22:59:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-30 22:59:46 +0200 |
| commit | 80d6bb7193a0ea2e233363bcc959cff882f5a6a4 (patch) | |
| tree | 6ddb3fddfb64e86c76f640367605cca9fc773905 /misc | |
| parent | b442bd06a4f577dabed1be84665b78bd26d8c4b5 (diff) | |
| parent | 0829fdafb014be13d3a1136e0c396d5704749a03 (diff) | |
Merge pull request #22521 from groud/add_favorites_file_list
Adds the display of the favorites into the file list
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions