blob: 34434f177e420311c22445bb898021250b55b3de (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
<?xml version="1.0" encoding="UTF-8"?>
<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
<mime-type type="application/x-tla">
<sub-class-of type="text/plain"/>
<comment>TLA+ file</comment>
<glob pattern="*.tla"/>
<glob pattern="*.TLA"/>
<icon name="tla+toolbox"/>
</mime-type>
</mime-info>
|