diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 13:42:30 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 13:42:30 +0000 |
commit | 75808db17caf8b960b351e3408e74142f4c85aac (patch) | |
tree | 7989e9c09a4240248bf4658a22208a0a52d991c4 /tags/d/duplicate-tag-in-menu.tag | |
parent | Initial commit. (diff) | |
download | lintian-upstream.tar.xz lintian-upstream.zip |
Adding upstream version 2.117.0.upstream/2.117.0upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tags/d/duplicate-tag-in-menu.tag')
-rw-r--r-- | tags/d/duplicate-tag-in-menu.tag | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tags/d/duplicate-tag-in-menu.tag b/tags/d/duplicate-tag-in-menu.tag new file mode 100644 index 0000000..3dc8462 --- /dev/null +++ b/tags/d/duplicate-tag-in-menu.tag @@ -0,0 +1,9 @@ +Tag: duplicate-tag-in-menu +Severity: warning +Check: menu-format +Renamed-From: + duplicated-tag-in-menu-item +Explanation: The <code>menu</code> item contains the same tag twice. At best, it is + a waste of space. The <code>menu</code> system will only use one of them. +See-Also: + menu-manual 3.2 |