2016-12-15 22:20:32 +01:00
|
|
|
unused_args = false
|
|
|
|
allow_defined_top = true
|
2020-08-04 16:12:47 +02:00
|
|
|
max_comment_line_length = 999
|
2016-12-15 22:20:32 +01:00
|
|
|
|
|
|
|
read_globals = {
|
|
|
|
"DIR_DELIM",
|
|
|
|
"minetest", "core",
|
2017-12-07 06:16:40 +01:00
|
|
|
"unpack",
|
2016-12-15 22:20:32 +01:00
|
|
|
"dump",
|
2017-12-07 06:16:40 +01:00
|
|
|
table = { fields = { "copy", "getn" } },
|
2016-12-15 22:20:32 +01:00
|
|
|
"vector", "nodeupdate",
|
|
|
|
"VoxelManip", "VoxelArea",
|
|
|
|
"PseudoRandom", "ItemStack",
|
2022-02-14 23:54:32 +01:00
|
|
|
"screwdriver", "homedecor",
|
2016-12-15 23:24:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
globals = {
|
2016-12-15 22:20:32 +01:00
|
|
|
}
|
|
|
|
|