]> git.lyx.org Git - lyx.git/search
How about if we write a script to do some of this and stop doing it