]>
author | Juergen Spitzmueller <spitz@lyx.org> | |
Sat, 16 May 2020 08:31:48 +0000 (10:31 +0200) | ||
committer | Juergen Spitzmueller <spitz@lyx.org> | |
Sat, 16 May 2020 08:31:48 +0000 (10:31 +0200) |
src/frontends/qt/GuiDocument.cpp | patch | blob | history | |
src/frontends/qt/GuiDocument.h | patch | blob | history |