diff options
Diffstat (limited to 'community-staging/root/root.xml')
| -rw-r--r-- | community-staging/root/root.xml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/community-staging/root/root.xml b/community-staging/root/root.xml deleted file mode 100644 index af8dd69c5..000000000 --- a/community-staging/root/root.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info"> - <mime-type type="application/x-root"> - <comment>ROOT file</comment> - <comment xml:lang="de">ROOT-Datei</comment> - <glob pattern="*.root"/> - <magic priority="80"> - <match value="root" type="string" offset="0:64"/> - </magic> - </mime-type> -</mime-info> |