]> git.lyx.org Git - lyx.git/search
From Joost Verburg: Put the clean_dvi.py script into the main distribution