]> git.lyx.org Git - lyx.git/search
Decimal point --> Decimal separator. As noted by one of our translators,