]> git.lyx.org Git - features.git/search
unicodesymbols: amend fec498d6, there was an O (capital letter O) instead of an 0...