diff options
Diffstat (limited to 'tags/c/compressed-duplicate.tag')
| -rw-r--r-- | tags/c/compressed-duplicate.tag | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tags/c/compressed-duplicate.tag b/tags/c/compressed-duplicate.tag new file mode 100644 index 0000000..a6e9a9a --- /dev/null +++ b/tags/c/compressed-duplicate.tag @@ -0,0 +1,8 @@ +Tag: compressed-duplicate +Severity: info +Check: files/compressed +Renamed-From: duplicated-compressed-file +Explanation: The given, apparently compressed, file is shipped in the package + in addition to another file with the same name without the + compression-method extension. Normally this indicates a mistake in the + installation process of the package. |