]> git.lyx.org Git - features.git/commit
remove unneeded notermination tags in unicodesymbols (bug #9615)
authorJuergen Spitzmueller <spitz@lyx.org>
Thu, 11 Jun 2015 09:14:01 +0000 (11:14 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Thu, 11 Jun 2015 09:14:01 +0000 (11:14 +0200)
commita6fdc1196b420a0c0aa2aa195dc22708f3c734b6
treed6f5c0f8999fb7b7331cdb91a7c97763687438c7
parent0c8019a9036cc71b757b59c4a48501c47c00cb97
remove unneeded notermination tags in unicodesymbols (bug #9615)

Patch by Guenter Milde
lib/unicodesymbols