2017-03-31 21:42:03 -07:00
|
|
|
unused_args = false
|
2023-12-10 14:08:23 +01:00
|
|
|
max_line_length = 140
|
2017-03-31 21:42:03 -07:00
|
|
|
|
|
|
|
read_globals = {
|
2024-11-15 21:23:19 +01:00
|
|
|
table = {fields = {"copy"}},
|
|
|
|
|
2023-12-10 14:08:23 +01:00
|
|
|
"minetest",
|
2024-11-15 21:23:19 +01:00
|
|
|
"core",
|
2023-12-10 14:08:23 +01:00
|
|
|
"vector",
|
2017-03-31 21:42:03 -07:00
|
|
|
"default",
|
2023-12-10 14:08:23 +01:00
|
|
|
"doors",
|
2024-07-18 18:15:58 +02:00
|
|
|
"screwdriver",
|
2023-12-10 14:08:23 +01:00
|
|
|
"stairs",
|
|
|
|
"stairsplus",
|
2017-03-31 21:42:03 -07:00
|
|
|
}
|