From 37fca3fc3e2aeb65feda1b7d26f51a5af308b6f1 Mon Sep 17 00:00:00 2001 From: Andrew Date: Sat, 17 Oct 2020 13:45:12 -0700 Subject: [PATCH] Update IDEA files --- .idea/.gitignore | 3 - .idea/compiler.xml | 1 - .idea/jarRepositories.xml | 5 ++ .idea/misc.xml | 7 --- .idea/workspace.xml | 127 ++++++++++++++++++++++++++++++++++++-- Iris.iml | 88 ++++++++++++++++++++------ 6 files changed, 195 insertions(+), 36 deletions(-) delete mode 100644 .idea/.gitignore diff --git a/.idea/.gitignore b/.idea/.gitignore deleted file mode 100644 index 26d33521a..000000000 --- a/.idea/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -# Default ignored files -/shelf/ -/workspace.xml diff --git a/.idea/compiler.xml b/.idea/compiler.xml index be050ff0c..bdcc569df 100644 --- a/.idea/compiler.xml +++ b/.idea/compiler.xml @@ -6,7 +6,6 @@ - diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml index de1207135..b2291c3e8 100644 --- a/.idea/jarRepositories.xml +++ b/.idea/jarRepositories.xml @@ -6,6 +6,11 @@