]> git.lyx.org Git - features.git/commit
tiny correction
authorJuergen Spitzmueller <spitz@lyx.org>
Wed, 15 Feb 2023 10:46:37 +0000 (11:46 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Wed, 15 Feb 2023 10:46:37 +0000 (11:46 +0100)
commitc1168f35d70af287b0765377883c6213237c5d2e
tree6a133ac969d2bc5cb3bd6901ba768a04f7fc0337
parentbfab8f943554d97ecb60e3a3f3702397aff43863
tiny correction
src/frontends/qt/GuiPrefs.cpp