Skip to content

Commit

Permalink
Merge pull request #22521 from groud/add_favorites_file_list
Browse files Browse the repository at this point in the history 
Adds the display of the favorites into the file list
  • Loading branch information
@akien-mga
akien-mga authored Sep 30, 2018
2 parents b442bd0 + 0829fda commit 80d6bb7
Show file tree
Hide file tree
Showing 2 changed files with 175 additions and 93 deletions.
Loading

0 comments on commit 80d6bb7

Please sign in to comment.