diff options
author | David Faure <faure@kde.org> | 2011-09-25 20:29:04 +0200 |
---|---|---|
committer | David Faure <faure@kde.org> | 2011-10-24 00:52:20 +0200 |
commit | 22021c121567e3fca02914f962bff08e06512cd6 (patch) | |
tree | 195313c41558f4a3c6e73d8540cf423b523abd25 | |
parent | 74f6e433a7cf043ce337510c8d15b4fa398946b1 (diff) | |
download | shared-mime-info-22021c121567e3fca02914f962bff08e06512cd6.tar.gz |
Remove duplicate glob, given that globs are case insensitive
-rw-r--r-- | freedesktop.org.xml.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/freedesktop.org.xml.in b/freedesktop.org.xml.in index 4645ab2d..8342c454 100644 --- a/freedesktop.org.xml.in +++ b/freedesktop.org.xml.in @@ -5038,7 +5038,6 @@ command to generate the output files. <mime-type type="text/x-makefile"> <_comment>Makefile</_comment> <sub-class-of type="text/plain"/> - <glob pattern="Makefile"/> <glob pattern="makefile"/> <glob pattern="GNUmakefile"/> <glob weight="10" pattern="Makefile.*"/> |