diff options
| author | Aleks Kissinger <aleks0@gmail.com> | 2018-01-04 15:58:21 +0100 |
|---|---|---|
| committer | Aleks Kissinger <aleks0@gmail.com> | 2018-01-04 15:58:21 +0100 |
| commit | 0421a96749743868554d44585050b1b3d04864d2 (patch) | |
| tree | 02b0d4442bddee7c65bee0f875783b46610a4aef /tikzit-old/share/mime | |
| parent | fecef0396026b80c5aec736171e4842df7518af9 (diff) | |
removed website
Diffstat (limited to 'tikzit-old/share/mime')
| -rw-r--r-- | tikzit-old/share/mime/packages/tikzit.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tikzit-old/share/mime/packages/tikzit.xml b/tikzit-old/share/mime/packages/tikzit.xml new file mode 100644 index 0000000..c6e7c0c --- /dev/null +++ b/tikzit-old/share/mime/packages/tikzit.xml @@ -0,0 +1,10 @@ +<?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> |