]> git.lyx.org Git - features.git/search
unicodesymbols: add number form characters (that are for example used in the German...