]>
author | Yuriy Skalko <yuriy.skalko@gmail.com> | |
Thu, 13 Aug 2020 20:43:03 +0000 (23:43 +0300) | ||
committer | Juergen Spitzmueller <spitz@lyx.org> | |
Fri, 14 Aug 2020 08:12:13 +0000 (10:12 +0200) |
src/frontends/qt/GuiSelectionManager.cpp | patch | blob | history |