]> git.lyx.org Git - features.git/search
Forgot this. This is no longer necessary as we write the session file before closing...