diff options
| author | Rubén Beltran del Río <ben@nsovocal.com> | 2018-06-26 05:23:00 +0000 |
|---|---|---|
| committer | Rubén Beltran del Río <ben@nsovocal.com> | 2018-06-26 05:23:00 +0000 |
| commit | 7b295172b67ee3f03c5da85953f9ca3b176aa135 (patch) | |
| tree | 8bfd6ccbdc20316a5b12fc47ad0dcc495c07d239 /lib | |
| parent | 3100e0533cb89a185ea021dfb83c4f364750180f (diff) | |
| parent | 8f039ab3784bc2390d9855b6f43b3c981f83b11c (diff) | |
Merge branch 'feature/rbdr-gitlab-pipeline' into 'develop'
Use Gitlab Pipelines Instead of Travis CI
See merge request rbdr/sumo!12
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions