summaryrefslogtreecommitdiff
path: root/src/map_settings_manager.cpp
diff options
context:
space:
mode:
authorLoïc Blot <nerzhul@users.noreply.github.com>2018-12-12 09:47:32 +0100
committerGitHub <noreply@github.com>2018-12-12 09:47:32 +0100
commit1a51455b9ece61124b247d9b3057fa4d22cd7893 (patch)
tree919eb4652e9405984d5ca7026b4723ece6252c8e /src/map_settings_manager.cpp
parent3bfb8284b868c580b5ec15e732c1d6b379168c2f (diff)
downloadminetest-1a51455b9ece61124b247d9b3057fa4d22cd7893.tar.gz
minetest-1a51455b9ece61124b247d9b3057fa4d22cd7893.tar.bz2
minetest-1a51455b9ece61124b247d9b3057fa4d22cd7893.zip
Gitlab CI: docker image rename + add commit id tag
Diffstat (limited to 'src/map_settings_manager.cpp')
0 files changed, 0 insertions, 0 deletions