| changeset 12536 | 8e4033213c62 |
| parent 12302 | cb459f8fa740 |
| child 12537 | 875f73ead4e8 |
| 12535:32bcb899526f | 12536:8e4033213c62 |
|---|---|
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", } |
3 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV", "431/log", "214", } |
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 = { |