]> git.lyx.org Git - features.git/search
fix bug 2148 (preferences saves wrong papersizes); also finally dispose dead PAPER_PA...