]> git.lyx.org Git - lyx.git/search
theorems-without-preamble.inc: remove "Prop" from layouttranslations since it is...