]> git.lyx.org Git - features.git/search
Make new function writeSession(). Now it's no longer entangled with closing the worka...