]> git.lyx.org Git - lyx.git/history - development/tools/lyxeditor
Amend 2c4673af58f6
[lyx.git] / development / tools / lyxeditor
2009-06-06 Enrico ForestieriAdd lyxeditor script to development/tools, adjust prope...