diff options
author | Hendrik Sollich <hendrik@hoodie.de> | 2018-01-14 00:42:04 +0100 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2018-01-14 11:20:21 -0500 |
commit | 012880914be0d9ec15945e5e2bb8f0f13316e8bf (patch) | |
tree | 9c21b237f377d385d2af6ff46a42951fa05f622b /ignore | |
parent | 832f5baf1af2326abcfb491ac20d5947525707f4 (diff) |
types: add webidl (*.webidl)
Diffstat (limited to 'ignore')
-rw-r--r-- | ignore/src/types.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ignore/src/types.rs b/ignore/src/types.rs index 0acebb94..1c16faab 100644 --- a/ignore/src/types.rs +++ b/ignore/src/types.rs @@ -272,7 +272,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[ ("vim", &["*.vim"]), ("vimscript", &["*.vim"]), ("wiki", &["*.mediawiki", "*.wiki"]), - ("webidl", &["*.idl", "*.widl"]), + ("webidl", &["*.idl", "*.webidl", "*.widl"]), ("xml", &["*.xml", "*.xml.dist"]), ("yacc", &["*.y"]), ("yaml", &["*.yaml", "*.yml"]), |