]> git.lyx.org Git - features.git/search
Use the safer addName helper function to add the configure lock name to user support...