diff options
author | Aleks Kissinger <aleks0@gmail.com> | 2018-05-07 13:21:59 +0200 |
---|---|---|
committer | Aleks Kissinger <aleks0@gmail.com> | 2018-05-07 13:21:59 +0200 |
commit | d7f0b3e19fddc89fd22692847e9d840023d2b7f3 (patch) | |
tree | 762f48cb637eef334cf7f6320fe13b7988bc53e3 /tikzit-old/share/mime/packages/tikzit.xml | |
parent | b00c5250d7a56b6d20980d89cf331a114fdfdee0 (diff) |
GPLed
Diffstat (limited to 'tikzit-old/share/mime/packages/tikzit.xml')
-rw-r--r-- | tikzit-old/share/mime/packages/tikzit.xml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tikzit-old/share/mime/packages/tikzit.xml b/tikzit-old/share/mime/packages/tikzit.xml deleted file mode 100644 index c6e7c0c..0000000 --- a/tikzit-old/share/mime/packages/tikzit.xml +++ /dev/null @@ -1,10 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info"> - <mime-type type="text/x-tikz"> - <comment xml:lang="en"></comment> - <magic priority="50"> - <match type="string" value="\\begin{tikzpicture}" offset="0"/> - </magic> - <glob pattern="*.tikz"/> - </mime-type> -</mime-info> |