]> git.lyx.org Git - lyx.git/history - development/CI
Prepend "Insert " in the context menu for environment separators.
[lyx.git] / development / CI /
2017-07-30 Christian RidderströmAdd script for CI job to check git log for non @lyx...