]> git.lyx.org Git - features.git/search
configure.py: Replace 'ltx' by 'log' case insensitively