]> git.lyx.org Git - lyx.git/search
Don't need to remove the file if it doesn't exist. (This would cause a five second...