Skip to content
This repository has been archived by the owner on Sep 20, 2024. It is now read-only.

Settings UI: Search case sensitivity #2810

Merged
merged 3 commits into from
Feb 25, 2022
Merged

Commits on Feb 25, 2022

  1. Configuration menu
    Copy the full SHA
    8c83016 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c7c324c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1574a24 View commit details
    Browse the repository at this point in the history