]> git.lyx.org Git - features.git/search
Get rid of GuiIndex since we no longer need it. Simplify the remaining code.