2017-12-20 06:31:34 +01:00
|
|
|
unused_args = false
|
|
|
|
allow_defined_top = true
|
|
|
|
|
2019-07-05 15:22:22 +02:00
|
|
|
globals = {
|
|
|
|
"nether"
|
|
|
|
}
|
|
|
|
|
2017-12-20 06:31:34 +01:00
|
|
|
read_globals = {
|
|
|
|
"core",
|
|
|
|
"default",
|
|
|
|
"DIR_DELIM",
|
|
|
|
"dump",
|
2020-01-08 11:31:10 +01:00
|
|
|
"dungeon_loot",
|
2017-12-20 06:31:34 +01:00
|
|
|
"intllib",
|
|
|
|
"ItemStack",
|
2020-01-08 11:31:10 +01:00
|
|
|
"loot",
|
2020-02-02 05:49:13 +01:00
|
|
|
"doc",
|
2020-01-08 11:31:10 +01:00
|
|
|
"math.hypot",
|
|
|
|
"mesecon",
|
2017-12-20 06:31:34 +01:00
|
|
|
"minetest",
|
|
|
|
"nodeupdate",
|
2020-01-08 11:31:10 +01:00
|
|
|
"PcgRandom",
|
2017-12-20 06:31:34 +01:00
|
|
|
"PseudoRandom",
|
|
|
|
"stairs",
|
|
|
|
"stairsplus",
|
2020-07-26 06:34:06 +02:00
|
|
|
"string.split",
|
2017-12-20 06:31:34 +01:00
|
|
|
table = { fields = { "copy", "getn" } },
|
|
|
|
"vector",
|
|
|
|
"VoxelArea",
|
|
|
|
"VoxelManip",
|
|
|
|
}
|
|
|
|
|