]> git.lyx.org Git - lyx.git/search
Replace a half-baked attempt to remove \lyxdot from the directory part of