]> git.lyx.org Git - features.git/commit
Amend 24b71d30d56752 (#12048)
authorJuergen Spitzmueller <spitz@lyx.org>
Mon, 14 Dec 2020 13:19:08 +0000 (14:19 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Mon, 14 Dec 2020 13:19:08 +0000 (14:19 +0100)
commit2d553ec5b9485c58dd28d19a12db4f9e38d56054
treee63ea3578f29e1d6bcc83922b592035fdedaf3a5
parent9121153fa0070deb161c348960feca422bd10343
Amend 24b71d30d56752 (#12048)
src/frontends/qt/GuiSearch.cpp