]> git.lyx.org Git - features.git/search
Polish the index conversion routine a bit, fixing bug 5119.