2020-10-30 10:15:03 +01:00
|
|
|
unused_args = false
|
2024-12-19 12:55:40 +01:00
|
|
|
max_line_length = 140
|
2020-10-30 10:15:03 +01:00
|
|
|
|
|
|
|
read_globals = {
|
2024-12-19 12:55:40 +01:00
|
|
|
table = {fields = {"copy"}},
|
2020-10-30 10:15:03 +01:00
|
|
|
|
2024-12-19 12:55:40 +01:00
|
|
|
"minetest",
|
|
|
|
"core",
|
|
|
|
"vector",
|
|
|
|
"default",
|
|
|
|
"doors",
|
|
|
|
"screwdriver",
|
|
|
|
"stairs",
|
|
|
|
"stairsplus",
|
2020-10-30 10:15:03 +01:00
|
|
|
}
|