]> git.lyx.org Git - features.git/commit
remove duplicate entries
authorJuergen Spitzmueller <spitz@lyx.org>
Tue, 7 Aug 2018 08:30:49 +0000 (10:30 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Tue, 7 Aug 2018 08:30:49 +0000 (10:30 +0200)
commit74158ec6a70f27f2cb93518c97452977a1a04b62
treece26ca079c261d32c03a9976827b20b716e6cbd2
parentd5b7a6eb4f112d98f80d571c4a78adfca1cfc27f
remove duplicate entries

Paste error :-/
lib/lyx2lyx/lyx_2_4.py