2020-01-16 14:10:15 -06:00
|
|
|
unused_args = false
|
|
|
|
|
allow_defined_top = true
|
2024-01-16 13:10:50 -06:00
|
|
|
max_line_length = false
|
2020-01-16 14:10:15 -06:00
|
|
|
|
|
|
|
|
globals = {
|
|
|
|
|
"tp"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
read_globals = {
|
|
|
|
|
string = {fields = {"split", "trim"}},
|
|
|
|
|
table = {fields = {"copy", "getn"}},
|
|
|
|
|
|
2023-09-27 18:55:57 -06:00
|
|
|
"minetest", "vector", "chat2",
|
|
|
|
|
"gamehub", "areas",
|
2020-05-03 13:38:22 -05:00
|
|
|
}
|
