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

For #5567: Removes search shortcuts button #5739

Merged
merged 2 commits into from
Oct 3, 2019

Commits on Oct 2, 2019

  1. Configuration menu
    Copy the full SHA
    e1c491b View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2019

  1. Configuration menu
    Copy the full SHA
    73fad7c View commit details
    Browse the repository at this point in the history