]> git.lyx.org Git - lyx.git/history - development/misc
This hack is not needed any more and it is a _huge_ gain.
[lyx.git] / development / misc /
2006-10-21 André Pönitzsome scripts I fouind usefule when working on LyX