]> git.lyx.org Git - features.git/search
some small updates to Painter, and make the new painter the default.