]> git.lyx.org Git - lyx.git/commitdiff
Fix formatting
authorJuergen Spitzmueller <spitz@lyx.org>
Sat, 26 Aug 2023 09:29:03 +0000 (11:29 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Sat, 26 Aug 2023 09:29:03 +0000 (11:29 +0200)
We use sans serif for widget labels in the docs


No differences found