diff options
author | Gergő Pintér <pinter.gergo@vipmail.hu> | 2017-08-16 16:46:13 +0200 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2017-08-16 10:46:13 -0400 |
commit | 3d9acdab189006880e9d4ccdbe9ae42b164901ec (patch) | |
tree | 5372f2cf3045dabead3f91f0921eca711baddc23 | |
parent | 40bacbcd7ce3247cf778e52e9367e2d675e0f153 (diff) |
Add short key for julia type
Fixes #574
-rw-r--r-- | ignore/src/types.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ignore/src/types.rs b/ignore/src/types.rs index 791008ff..daeb88ba 100644 --- a/ignore/src/types.rs +++ b/ignore/src/types.rs @@ -145,6 +145,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[ ("json", &["*.json"]), ("jsonl", &["*.jsonl"]), ("julia", &["*.jl"]), + ("jl", &["*.jl"]), ("kotlin", &["*.kt", "*.kts"]), ("less", &["*.less"]), ("lisp", &["*.el", "*.jl", "*.lisp", "*.lsp", "*.sc", "*.scm"]), |