]> git.lyx.org Git - lyx.git/history - development/tools/lyxeditor
projects / lyx.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adjust bookmark position when inserting/deleting from paragraph
[lyx.git] / development / tools / lyxeditor
2009-06-06 Enrico ForestieriAdd lyxeditor script to development/tools, adjust prope... blob | commitdiff | raw
The LyX Source Repository