changeset 13215 | 4d4f9e42bcf8 |
parent 13208 | c9ef35fab0b1 |
child 13274 | 14bbfb2cc8dd |
--- a/.luacheckrc Sun Jul 16 21:21:37 2023 +0200 +++ b/.luacheckrc Mon Jul 17 00:09:41 2023 +0200 @@ -75,6 +75,7 @@ "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",