diff options
author | Linda_pp <rhysd@users.noreply.github.com> | 2024-04-02 12:05:15 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-01 23:05:15 -0400 |
commit | 2acf25c6897f45c9e7332712cca63d4eb576533c (patch) | |
tree | a9ce54c0568b620f911e8479d4efec76ce3932bd | |
parent | 80007698d3ae6c1def8ee784c6287ce1376de5c4 (diff) |
ignore/types: add WGSL to the default file types
[WGSL][1] is a shading language for WebGPU. As defined in [Appendix
A][2], the file extension is `.wgsl`.
PR #2774
[1]: https://www.w3.org/TR/WGSL/
[2]: https://www.w3.org/TR/WGSL/#text-wgsl-media-type
-rw-r--r-- | crates/ignore/src/default_types.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ignore/src/default_types.rs b/crates/ignore/src/default_types.rs index 2f03e5a3..2cf8ad80 100644 --- a/crates/ignore/src/default_types.rs +++ b/crates/ignore/src/default_types.rs @@ -305,6 +305,7 @@ pub(crate) const DEFAULT_TYPES: &[(&[&str], &[&str])] = &[ ]), (&["vue"], &["*.vue"]), (&["webidl"], &["*.idl", "*.webidl", "*.widl"]), + (&["wgsl"], &["*.wgsl"]), (&["wiki"], &["*.mediawiki", "*.wiki"]), (&["xml"], &[ "*.xml", "*.xml.dist", "*.dtd", "*.xsl", "*.xslt", "*.xsd", "*.xjb", |