diff options
author | asymmetric <lorenzo@mailbox.org> | 2020-02-19 13:07:09 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-19 07:07:09 -0500 |
commit | b44554c803dffe50af354c0eb960fa2a0fc79cec (patch) | |
tree | 029614fdfb2de146c37d5bef1ebb2ab2fa94a763 | |
parent | 0874aa115c92f102a6ec474944f589667463fcd0 (diff) |
ignore/types: add K type
Adds support for files used by the K executable semantic framework:
http://www.kframework.org/index.php/Main_Page
PR #1493
-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 8a077796..8f96a903 100644 --- a/crates/ignore/src/default_types.rs +++ b/crates/ignore/src/default_types.rs @@ -85,6 +85,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[ ("jsonl", &["*.jsonl"]), ("julia", &["*.jl"]), ("jupyter", &["*.ipynb", "*.jpynb"]), + ("k", &["*.k"]), ("kotlin", &["*.kt", "*.kts"]), ("less", &["*.less"]), ("license", &[ |