# HG changeset patch # User Matthew Wild # Date 1436198825 -3600 # Node ID 3cc2bc9c1bff487023a074b6c08e6cc7695710c1 # Parent 2a2eb30b1ed4d50aabb1bf5661b553e9f22ce621# Parent 18f18bceb66226c3f224060c65b0025682899541 Merge with 0.10 diff -r 18f18bceb662 -r 3cc2bc9c1bff .luacheckrc --- a/.luacheckrc Sun Jul 05 22:20:29 2015 +0200 +++ b/.luacheckrc Mon Jul 06 17:07:05 2015 +0100 @@ -6,3 +6,7 @@ unused_secondaries = false codes = true ignore = { "411/err", "421/err", "411/ok", "421/ok" } + +files["plugins/"] = { + ignore = { "122/module" }; +}