| changeset 9694 | 75ed3403065d |
| parent 9693 | 9e2ee40b4a0a |
| child 9698 | faebfd3ad2a1 |
| 9693:9e2ee40b4a0a | 9694:75ed3403065d |
|---|---|
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", "143/table", "113/unpack" } |
3 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV", "431/log", "143/table", } |
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 = { |