diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/lint/lint-stable-004-style-labels (renamed from util/lint/lint-004-style-labels) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/util/lint/lint-004-style-labels b/util/lint/lint-stable-004-style-labels index 31ad74e0e4..31ad74e0e4 100755 --- a/util/lint/lint-004-style-labels +++ b/util/lint/lint-stable-004-style-labels |