]> git.lyx.org Git - features.git/search
GuiInfo: Show "Unknown" only if issued from an unknown info.