projects / features.git / commit
| author | Juergen Spitzmueller <spitz@lyx.org> | |
| Wed, 20 Nov 2019 13:07:05 +0000 (14:07 +0100) | ||
| committer | Juergen Spitzmueller <spitz@lyx.org> | |
| Wed, 20 Nov 2019 13:07:05 +0000 (14:07 +0100) | ||
| commit | 772f2a28414dae7765486ad7aff042e4299c7fb7 | |
| tree | 9c5c29b0f4ca99914d65d5c94bee301989314ad1 | tree | snapshot |
| parent | a426b33067ae4e9d5452f13284f3e223d87ac45d | commit | diff |
| src/frontends/qt/GuiSelectionManager.cpp | diff | blob | history |