]> git.lyx.org Git - features.git/commit
unicodesymbols: Remove no longer required "force" flags. Fixes #10620.
authorGünter Milde <milde@lyx.org>
Thu, 9 May 2019 14:53:11 +0000 (16:53 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:28 +0000 (15:48 +0200)
commit513eccb333cd0599fd6d63e3266f512c2b1e0507
tree80de29f7f00e68b8dcb4b411211da85b81ff0173
parentcd98de4129efdccec2ce1e2cb077ea06d9251608
unicodesymbols: Remove no longer required "force" flags. Fixes #10620.
lib/unicodesymbols