summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/mplint.sh
AgeCommit message (Expand)AuthorFilesLines
2016-04-12add .gitlab-ci.yml and script for it.Andrei Karas1-0/+23