Skip to content

Group filter #96

Merged
merged 2 commits into from
Sep 16, 2020
Merged

Group filter #96

merged 2 commits into from
Sep 16, 2020

Commits on Sep 16, 2020

  1. personal: Make group filter more usable

    - Put "reset filter" on top of list
    - If a group is selected, show the name instead of "Filter by group"
    donald committed Sep 16, 2020
    Configuration menu
    Copy the full SHA
    6917782 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2c11bf5 View commit details
    Browse the repository at this point in the history