]> git.r.bdr.sh - rbdr/sumo/commitdiff
Merge branch 'feature/rbdr-gitlab-pipeline' into 'develop'
authorRubén Beltran del Río <redacted>
Tue, 26 Jun 2018 05:23:00 +0000 (05:23 +0000)
committerRubén Beltran del Río <redacted>
Tue, 26 Jun 2018 05:23:00 +0000 (05:23 +0000)
Use Gitlab Pipelines Instead of Travis CI

See merge request rbdr/sumo!12


Trivial merge