diff options
| author | gumi <mekolat@users.noreply.github.com> | 2018-03-25 22:30:09 +0000 |
|---|---|---|
| committer | gumi <mekolat@users.noreply.github.com> | 2018-03-25 22:30:09 +0000 |
| commit | 7233ced3d5edaf1799e7bf5fa2961111128b9e5d (patch) | |
| tree | 1341a2edbbaf8d4f362c078899a287a34126f181 /maps | |
| parent | c096abdf9802171570b7ae961a6abbfc8aad68bf (diff) | |
| parent | 187344a0e4192f8d47e9d6cca25024e2d9007ce8 (diff) | |
| download | serverdata-7233ced3d5edaf1799e7bf5fa2961111128b9e5d.tar.gz serverdata-7233ced3d5edaf1799e7bf5fa2961111128b9e5d.tar.bz2 serverdata-7233ced3d5edaf1799e7bf5fa2961111128b9e5d.tar.xz serverdata-7233ced3d5edaf1799e7bf5fa2961111128b9e5d.zip | |
Merge branch 'jesusalva/pipelines' into 'master'
Allow repository to have any name, without causing pipelines to fail.
See merge request evol/serverdata!121
Diffstat (limited to 'maps')
0 files changed, 0 insertions, 0 deletions