]> git.lyx.org Git - features.git/commit
* Document prefs: rename Format -> Output
authorPavel Sanda <sanda@lyx.org>
Tue, 9 May 2023 17:05:31 +0000 (19:05 +0200)
committerPavel Sanda <sanda@lyx.org>
Tue, 9 May 2023 17:05:31 +0000 (19:05 +0200)
commit20b45cf02895a9ca5a1c831b4d4c0795d91b8d4a
tree14bad5c7cfa24d208d1f8da6645dffe96f276425
parentbf46fc7449ba454e0f7a0f1c532fcad20ebd1b90
* Document prefs: rename Format -> Output
src/frontends/qt/GuiDocument.cpp