.luacheckrc
changeset 13205 65fb0d7a2312
parent 12853 330bfcaa5532
child 13208 c9ef35fab0b1
--- a/.luacheckrc	Sun Jul 16 20:29:06 2023 +0200
+++ b/.luacheckrc	Sat Jan 16 20:40:14 2021 +0100
@@ -73,6 +73,7 @@
 		"module.get_option",
 		"module.get_option_array",
 		"module.get_option_boolean",
+		"module.get_option_enum",
 		"module.get_option_inherited_set",
 		"module.get_option_number",
 		"module.get_option_path",