changeset 12591 | 1332c650400d |
parent 12589 | 6abbf2dd2b14 |
child 12646 | 9061f9621330 |
12589:6abbf2dd2b14 | 12591:1332c650400d |
---|---|
1 cache = true |
1 cache = true |
2 codes = true |
2 codes = true |
3 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV", "431/log", "214", "581" } |
3 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV", "431/log", "214", "581" } |
4 |
4 |
5 std = "lua53c" |
5 std = "lua54c" |
6 max_line_length = 150 |
6 max_line_length = 150 |
7 |
7 |
8 read_globals = { |
8 read_globals = { |
9 "prosody", |
9 "prosody", |
10 "import", |
10 "import", |