Mirror of git://git.lyx.org/lyx