]> git.lyx.org Git - lyx.git/search
work around for bug reported by Mario Morandini