From 2b8f39a1494d46a746b7bf205e3f2b611c8c87c7 Mon Sep 17 00:00:00 2001 From: Sebastian Stenzel Date: Mon, 2 Nov 2020 09:41:07 +0100 Subject: [PATCH] ignored some derived files --- .gitignore | 3 +++ .idea/compiler.xml | 33 --------------------------------- .idea/encodings.xml | 13 ------------- .idea/jarRepositories.xml | 30 ------------------------------ 4 files changed, 3 insertions(+), 76 deletions(-) delete mode 100644 .idea/compiler.xml delete mode 100644 .idea/encodings.xml delete mode 100644 .idea/jarRepositories.xml diff --git a/.gitignore b/.gitignore index 3f055e749..900a21ae0 100644 --- a/.gitignore +++ b/.gitignore @@ -18,5 +18,8 @@ pom.xml.versionsBackup .idea/**/workspace.xml .idea/**/tasks.xml .idea/dictionaries +.idea/compiler.xml +.idea/encodings.xml +.idea/jarRepositories.xml .idea/**/libraries/ *.iml \ No newline at end of file diff --git a/.idea/compiler.xml b/.idea/compiler.xml deleted file mode 100644 index e8dfd8106..000000000 --- a/.idea/compiler.xml +++ /dev/null @@ -1,33 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/.idea/encodings.xml b/.idea/encodings.xml deleted file mode 100644 index c3807468d..000000000 --- a/.idea/encodings.xml +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - - - - - - - - \ No newline at end of file diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml deleted file mode 100644 index 727c7b1bb..000000000 --- a/.idea/jarRepositories.xml +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - \ No newline at end of file