]> git.lyx.org Git - lyx.git/search
Keep a copy of output from lib/configure.py to configure.log