From b44554c803dffe50af354c0eb960fa2a0fc79cec Mon Sep 17 00:00:00 2001
From: asymmetric <lorenzo@mailbox.org>
Date: Wed, 19 Feb 2020 13:07:09 +0100
Subject: [PATCH] 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
---
crates/ignore/src/default_types.rs | 1 +
1 file changed, 1 insertion(+)
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", &[