changeset 5738 | cef8bce2d71b |
parent 5304 | fa97de0b0961 |
child 5759 | 4a353ccce220 |
--- a/.luacheckrc Sun Nov 26 22:44:01 2023 +0100 +++ b/.luacheckrc Mon Nov 27 07:10:06 2023 +0100 @@ -41,9 +41,12 @@ "module.get_option", "module.get_option_array", "module.get_option_boolean", + "module.get_option_enum", "module.get_option_inherited_set", + "module.get_option_integer", "module.get_option_number", "module.get_option_path", + "module.get_option_period", "module.get_option_scalar", "module.get_option_set", "module.get_option_string",