]> git.lyx.org Git - lyx.git/history - development/CI
UserGuide.lyx: accept and distribute more recent changes (part 2/3)
[lyx.git] / development / CI /
2017-07-30 Christian RidderströmAdd script for CI job to check git log for non @lyx...