2020-01-15 22:13:47 -06:00
|
|
|
unused_args = false
|
|
|
|
|
allow_defined_top = true
|
|
|
|
|
max_line_length = 999
|
|
|
|
|
|
|
|
|
|
globals = {
|
|
|
|
|
"default", "minetest",
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
read_globals = {
|
|
|
|
|
string = {fields = {"split", "trim"}},
|
|
|
|
|
table = {fields = {"copy", "getn"}},
|
|
|
|
|
|
2020-07-18 00:19:50 +02:00
|
|
|
"armor", "PseudoRandom", "toolranks",
|
2020-07-27 20:24:34 -05:00
|
|
|
"stairs", "worldedit",
|
2020-07-13 18:33:09 -05:00
|
|
|
}
|
