equal
deleted
inserted
replaced
5 module = true |
5 module = true |
6 unused_secondaries = false |
6 unused_secondaries = false |
7 codes = true |
7 codes = true |
8 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV" } |
8 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV" } |
9 |
9 |
|
10 files["core/"] = { |
|
11 ignore = { "122/prosody", "122/hosts" }; |
|
12 } |
10 files["plugins/"] = { |
13 files["plugins/"] = { |
11 globals = { "module" }; |
14 globals = { "module" }; |
12 } |
15 } |
13 files["tests/"] = { |
16 files["tests/"] = { |
14 read_globals = { |
17 read_globals = { |