Closes #3873. You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/3976
-- Commit Summary --
* Add .pyi extension for Python
-- File Changes --
M data/filetype_extensions.conf (2)
-- Patch Links --
https://github.com/geany/geany/pull/3976.patch https://github.com/geany/geany/pull/3976.diff
Merged #3976 into master.
github-comments@lists.geany.org