Merge pull request #985 from augustelalande/add-more-python-extensions

Add more python file extensions
This commit is contained in:
Ed Page 2024-04-09 15:25:31 -05:00 committed by GitHub
commit 859859ac4e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -185,6 +185,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[
("purs", &["*.purs"]),
("py", &[
"*.py",
"*.pyi",
// From a spell-check perspective, this is more like Python than toml
"pyproject.toml",
]),