]> git.lyx.org Git - lyx.git/history - development/tools
fix some of the bugs reported, should hopefully be a bit better now.
[lyx.git] / development / tools /
1999-09-27 Lars Gullik BjønnesInitial revision