From 3edb11c513b79f3ae596f8513fec7f94545c483d Mon Sep 17 00:00:00 2001
From: Marco Herrn <marco@mherrn.de>
Date: Tue, 9 Apr 2019 17:07:48 +0200
Subject: ignore/types: add additional java files

- .jspx for XHTML JSP files
- .properties for Java Properties files (resource bundles, etc.)

Closes #1242
---
 ignore/src/types.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ignore/src/types.rs b/ignore/src/types.rs
index 79e6c9bf..6ebdeb0e 100644
--- a/ignore/src/types.rs
+++ b/ignore/src/types.rs
@@ -156,7 +156,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[
     ("hs", &["*.hs", "*.lhs"]),
     ("html", &["*.htm", "*.html", "*.ejs"]),
     ("idris", &["*.idr", "*.lidr"]),
-    ("java", &["*.java", "*.jsp"]),
+    ("java", &["*.java", "*.jsp", "*.jspx", "*.properties"]),
     ("jinja", &["*.j2", "*.jinja", "*.jinja2"]),
     ("js", &[
         "*.js", "*.jsx", "*.vue",
-- 
cgit v1.2.3