2020-01-15 22:13:47 -06:00
|
|
|
unused_args = false
|
|
|
|
|
allow_defined_top = true
|
|
|
|
|
max_line_length = 999
|
|
|
|
|
|
|
|
|
|
globals = {
|
2020-11-16 20:51:23 -06:00
|
|
|
"default", "minetest", "core",
|
2020-01-15 22:13:47 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
read_globals = {
|
|
|
|
|
string = {fields = {"split", "trim"}},
|
|
|
|
|
table = {fields = {"copy", "getn"}},
|
|
|
|
|
|
2020-07-18 00:19:50 +02:00
|
|
|
"armor", "PseudoRandom", "toolranks",
|
2020-08-10 18:18:41 -05:00
|
|
|
"stairs", "worldedit", "stairsplus",
|
2020-09-21 23:29:32 -05:00
|
|
|
|
2020-11-16 20:51:23 -06:00
|
|
|
"multitools", "vehicle_mash", "lib_mount",
|
2020-07-13 18:33:09 -05:00
|
|
|
}
|
