]> git.lyx.org Git - features.git/search
fix reading of obsolete prefs (the argument never got discarded)