From b539590d7a29b1378bacfb415275584594af0993 Mon Sep 17 00:00:00 2001 From: Sebastian Stenzel Date: Thu, 17 Jan 2019 11:07:01 +0100 Subject: [PATCH] updated IDE settings and removed duplicate gitignore [ci skip] --- .idea/compiler.xml | 19 ++++++++++++++++++- main/ant-kit/.gitignore | 1 - 2 files changed, 18 insertions(+), 2 deletions(-) delete mode 100644 main/ant-kit/.gitignore diff --git a/.idea/compiler.xml b/.idea/compiler.xml index 69fb739cd..eb6e630bd 100644 --- a/.idea/compiler.xml +++ b/.idea/compiler.xml @@ -2,10 +2,27 @@ - + + + + + + + + + + + + + + + + + + diff --git a/main/ant-kit/.gitignore b/main/ant-kit/.gitignore deleted file mode 100644 index b83d22266..000000000 --- a/main/ant-kit/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/target/