Allow .git in map dirs

This commit is contained in:
ClobberXD 2018-11-27 00:59:20 +05:30 committed by rubenwardy
parent 63835a51fa
commit b82af22a05

View file

@ -58,7 +58,8 @@ local function search_for_maps()
if extension == "mts" then
files_hash[dir .. "/" .. filename] = true
else
if extension ~= "conf" and extension ~= "md" then
if extension ~= "conf" and extension ~= "md"
and files[i] ~= ".git" then
error("Map extension is not '.mts': " .. files[i])
end
end