diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-08-20 17:04:45 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-08-20 17:04:45 +0200 |
| commit | ca95cae08face337fc9072030ffa882173b9bd55 (patch) | |
| tree | 695323cb9b7956bf3660b98ba181509b559f56ab /rules/lint | |
| parent | 1a485e949b79054d3bb7c896f27b302a8e7203c5 (diff) | |
| parent | 591339c7e794162250b01aec5a8b43049b49079b (diff) | |
| download | rules-cc-ca95cae08face337fc9072030ffa882173b9bd55.tar.gz | |
Merge subtree 'rules' into rules-cc
Diffstat (limited to 'rules/lint')
| -rw-r--r-- | rules/lint/RULES | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rules/lint/RULES b/rules/lint/RULES index d7b2703..7e2861c 100644 --- a/rules/lint/RULES +++ b/rules/lint/RULES @@ -133,6 +133,9 @@ } } ] + , [ "lint results" + , {"type": "nub_right", "$1": {"type": "var", "name": "lint results"}} + ] , [ "summary input" , {"type": "enumerate", "$1": {"type": "var", "name": "lint results"}} ] |