]> git.lyx.org Git - features.git/search
It turned out not all changes of Additional.lyx have been copied to de/Additional.lyx