2018-05-17 17:12:33 +02:00
|
|
|
allow_defined_top = true
|
|
|
|
|
|
2018-04-13 18:54:22 +02:00
|
|
|
read_globals = {
|
|
|
|
|
"minetest",
|
|
|
|
|
"dump", "vector",
|
|
|
|
|
"VoxelManip", "VoxelArea",
|
2018-05-08 16:26:00 +02:00
|
|
|
table = { fields = { "copy" } },
|
2018-05-08 16:23:57 +02:00
|
|
|
"lightning",
|
2018-08-13 16:44:24 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
ignore = {"211", "212", "213", "631"}
|
