]>
author | Juergen Spitzmueller <spitz@lyx.org> | |
Fri, 22 Mar 2019 13:18:17 +0000 (14:18 +0100) | ||
committer | Juergen Spitzmueller <spitz@lyx.org> | |
Fri, 22 Mar 2019 13:18:17 +0000 (14:18 +0100) |
src/frontends/qt4/GuiPrefs.cpp | patch | blob | history | |
src/frontends/qt4/GuiPrefs.h | patch | blob | history |