diff options
Diffstat (limited to 'data/freedesktop.org.xml.in')
| -rw-r--r-- | data/freedesktop.org.xml.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/freedesktop.org.xml.in b/data/freedesktop.org.xml.in index cfa4b4c1..5bfa2cbb 100644 --- a/data/freedesktop.org.xml.in +++ b/data/freedesktop.org.xml.in @@ -6405,6 +6405,7 @@ command to generate the output files. <glob pattern="*.py" weight="50"/><!-- lower priority than in text/x-python --> <glob pattern="*.py3" weight="60"/> <glob pattern="*.py3x" weight="60"/> + <glob pattern="*.pyi" weight="60"/> </mime-type> <mime-type type="text/x-python"> <comment>Python script</comment> |