]> git.lyx.org Git - features.git/search
Remove the boldness of the XHTML Output Options string in GuiDocument. We nowhere...