]> git.lyx.org Git - features.git/commitdiff
Fix nullptr warning
authorJuergen Spitzmueller <spitz@lyx.org>
Tue, 15 Dec 2020 07:36:17 +0000 (08:36 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Tue, 15 Dec 2020 07:36:17 +0000 (08:36 +0100)

No differences found