]> git.lyx.org Git - features.git/commitdiff
Remove superfluous "Insert"
authorJuergen Spitzmueller <spitz@lyx.org>
Fri, 31 May 2019 08:58:03 +0000 (10:58 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Fri, 31 May 2019 08:58:03 +0000 (10:58 +0200)
This is in the "Insert" menu.


No differences found