
-- 212: Unused argument.
ignore = { "212" }

read_globals = {
	table = {fields = {"copy"}},

	"core",
	"minetest",
	"vector",
	"dump",
}

globals = {
	"player_monoids",
}
