diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-12-12 00:00:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-12 00:00:08 +0100 |
| commit | ca141ed49101cd1ec42ae358e29f2ea7317c72b4 (patch) | |
| tree | 544c0a8135b02fb1694fa4cea82ac3d478daf9ab /lib/gmp/mini-gmp.c | |
| parent | ce32a327ff6e4e6810a9377e67eaeb47940b7c4c (diff) | |
| download | minetest-ca141ed49101cd1ec42ae358e29f2ea7317c72b4.tar.gz minetest-ca141ed49101cd1ec42ae358e29f2ea7317c72b4.tar.bz2 minetest-ca141ed49101cd1ec42ae358e29f2ea7317c72b4.zip | |
Add a Dockerfile + gitlab CI build (#7968)
* Add a minetest docker file
* Clone minetest_game from git directly
Diffstat (limited to 'lib/gmp/mini-gmp.c')
0 files changed, 0 insertions, 0 deletions