diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-03-22 19:44:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-22 19:44:41 +0100 |
commit | 8986a9e6053bed0002726bc000ee394a928b7f51 (patch) | |
tree | 6c485eff85ae61c86599961901a6bf5487bfd270 /builtin/mainmenu/dlg_config_world.lua | |
parent | 5e2096e396a341f3832b2f14482a82ce367ce96e (diff) | |
download | minetest-8986a9e6053bed0002726bc000ee394a928b7f51.tar.gz minetest-8986a9e6053bed0002726bc000ee394a928b7f51.tar.bz2 minetest-8986a9e6053bed0002726bc000ee394a928b7f51.zip |
Gitlab CI: Disable currently broken ubuntu 16.10 & 17.04 builds
I will try to repair them later
Diffstat (limited to 'builtin/mainmenu/dlg_config_world.lua')
0 files changed, 0 insertions, 0 deletions