diff options
author | Max Horn <max@quendi.de> | 2019-04-16 14:31:58 +0200 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2019-04-16 08:31:58 -0400 |
commit | b3dd3ae203942936b00fab9636aa78a990c9b664 (patch) | |
tree | e5f14c69431d5e48a926a81d386458587a71ffc8 | |
parent | f3083e4574ad20881de66fdeb66d671f1cbdfda4 (diff) |
ignore/types: add GAP
Add support for file types used by the GAP language, a research system
computational discrete algebra, see <https://www.gap-system.org>
PR #1249
-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 6ebdeb0e..3d2427fc 100644 --- a/ignore/src/types.rs +++ b/ignore/src/types.rs @@ -146,6 +146,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[ "*.f90", "*.F90", "*.f95", "*.F95", ]), ("fsharp", &["*.fs", "*.fsx", "*.fsi"]), + ("gap", &["*.g", "*.gap", "*.gi", "*.gd", "*.tst"]), ("gn", &["*.gn", "*.gni"]), ("go", &["*.go"]), ("gzip", &["*.gz", "*.tgz"]), |