diff options
| -rw-r--r-- | data/freedesktop.org.xml.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/data/freedesktop.org.xml.in b/data/freedesktop.org.xml.in index 6e619ff..876b756 100644 --- a/data/freedesktop.org.xml.in +++ b/data/freedesktop.org.xml.in @@ -6660,10 +6660,6 @@ command to generate the output files. <comment>Enriched text document</comment> <sub-class-of type="text/plain"/> </mime-type> - <mime-type type="text/htmlh"> - <comment>Help page</comment> - <sub-class-of type="text/plain"/> - </mime-type> <mime-type type="text/plain"> <comment>Plain text document</comment> <magic> |