]> git.lyx.org Git - features.git/history - development/CI
unicodesymbols: amend fec498d6, there was an O (capital letter O) instead of an 0...
[features.git] / development / CI /
2017-08-20 Christian RidderströmSet n:o digits in abbrev. hash in script that checks...
2017-07-30 Christian RidderströmAdd script for CI job to check git log for non @lyx...