Skip to content

Fix binding issue for the regex and case sensitive search buttons#7125

Merged
tobiasdiez merged 1 commit intoJabRef:masterfrom DominikVoigt:fix-binding-for-search-barNov 26, 2020

Commits

Commits on Nov 25, 2020