1
0
mirror of https://github.com/minetest/minetest_game.git synced 2025-07-13 03:10:20 +02:00

Refactor a bit to be more concise

This commit is contained in:
Lars Mueller
2023-09-11 15:17:15 +02:00
parent b2a291fc4a
commit 78cd12d2eb
3 changed files with 39 additions and 104 deletions

View File

@ -1,6 +1,10 @@
unused_args = false
allow_defined_top = true
globals = {
"default"
}
read_globals = {
"DIR_DELIM",
"minetest",