| changeset 12537 | 875f73ead4e8 |
| parent 12536 | 8e4033213c62 |
| child 12587 | 93bed323e361 |
| 12536:8e4033213c62 | 12537:875f73ead4e8 |
|---|---|
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", } |
3 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV", "431/log", "214", "581" } |
4 |
4 |
5 std = "lua53c" |
5 std = "lua53c" |
6 max_line_length = 150 |
6 max_line_length = 150 |
7 |
7 |
8 read_globals = { |
8 read_globals = { |