diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2020-04-09 20:46:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-09 20:46:06 +0200 |
commit | 12275e235a17e84805f4b3b667e1ddbdf9499fc6 (patch) | |
tree | 26ec83f656b7795128e211de4a08616cd4801d78 /src/script/scripting_server.h | |
parent | 3ad5388c6d3894e2f4aa7158cc2b62b626f0f967 (diff) | |
download | minetest-12275e235a17e84805f4b3b667e1ddbdf9499fc6.tar.gz minetest-12275e235a17e84805f4b3b667e1ddbdf9499fc6.tar.bz2 minetest-12275e235a17e84805f4b3b667e1ddbdf9499fc6.zip |
Automated build changes (#9619)
* Automated build changes
* drop a useless ubuntu non lts version
* update gitlab ci syntax to modern one
* add debian 10 step on the gitlab ci pipeline
* switch docker build to Debian 10
* add .gradle folder to gitignore
Diffstat (limited to 'src/script/scripting_server.h')
0 files changed, 0 insertions, 0 deletions