]> git.lyx.org Git - features.git/commitdiff
Fix more warnings and simplify a tiny bit.
authorRichard Kimberly Heck <rikiheck@lyx.org>
Tue, 19 May 2020 22:06:20 +0000 (18:06 -0400)
committerRichard Kimberly Heck <rikiheck@lyx.org>
Tue, 19 May 2020 22:06:20 +0000 (18:06 -0400)

No differences found