]> git.lyx.org Git - features.git/search
lib/configure.py: use \nonstopmode instead of -interaction=nonstopmode, from JMarc...