From ee4e2b338e8cca471939f93cfaafb957416e0416 Mon Sep 17 00:00:00 2001
From: hayesall <alexander@batflyer.net>
Date: Sat, 4 Jun 2022 11:23:13 -0400
Subject: [PATCH 1/2] =?UTF-8?q?=F0=9F=99=88=20Add=20`.vscode`=20and=20`.id?=
 =?UTF-8?q?ea`=20to=20`.gitignore`?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index 25fccca..768277c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,10 @@ precomputed*.txt*
 *.DS_Store
 *.class
 
+# IDE Specific info
+.vscode
+.idea
+
 # Recommended Ignore settings for `https://github.com/github/gitignore`: `Gradle.gitignore`
 .gradle
 **/build/

From ba9d07bcd5db1645376117b189eedf5d06730d9b Mon Sep 17 00:00:00 2001
From: hayesall <alexander@batflyer.net>
Date: Sat, 4 Jun 2022 11:23:48 -0400
Subject: [PATCH 2/2] =?UTF-8?q?=F0=9F=94=A5=20Drop=20`.idea`=20workspace?=
 =?UTF-8?q?=20configurations?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .idea/$PRODUCT_WORKSPACE_FILE$       | 19 -------------------
 .idea/.gitignore                     |  2 --
 .idea/.name                          |  1 -
 .idea/codeStyles/codeStyleConfig.xml |  5 -----
 .idea/compiler.xml                   | 18 ------------------
 .idea/encodings.xml                  |  7 -------
 .idea/vcs.xml                        |  6 ------
 7 files changed, 58 deletions(-)
 delete mode 100644 .idea/$PRODUCT_WORKSPACE_FILE$
 delete mode 100644 .idea/.gitignore
 delete mode 100644 .idea/.name
 delete mode 100644 .idea/codeStyles/codeStyleConfig.xml
 delete mode 100644 .idea/compiler.xml
 delete mode 100644 .idea/encodings.xml
 delete mode 100644 .idea/vcs.xml

diff --git a/.idea/$PRODUCT_WORKSPACE_FILE$ b/.idea/$PRODUCT_WORKSPACE_FILE$
deleted file mode 100644
index 79be354..0000000
--- a/.idea/$PRODUCT_WORKSPACE_FILE$
+++ /dev/null
@@ -1,19 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="masterDetails">
-    <states>
-      <state key="ProjectJDKs.UI">
-        <settings>
-          <last-edited>11</last-edited>
-          <splitter-proportions>
-            <option name="proportions">
-              <list>
-                <option value="0.2" />
-              </list>
-            </option>
-          </splitter-proportions>
-        </settings>
-      </state>
-    </states>
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/.gitignore b/.idea/.gitignore
deleted file mode 100644
index 5c98b42..0000000
--- a/.idea/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-# Default ignored files
-/workspace.xml
\ No newline at end of file
diff --git a/.idea/.name b/.idea/.name
deleted file mode 100644
index f90e3bb..0000000
--- a/.idea/.name
+++ /dev/null
@@ -1 +0,0 @@
-boostsrl
\ No newline at end of file
diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml
deleted file mode 100644
index a55e7a1..0000000
--- a/.idea/codeStyles/codeStyleConfig.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<component name="ProjectCodeStyleConfiguration">
-  <state>
-    <option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" />
-  </state>
-</component>
\ No newline at end of file
diff --git a/.idea/compiler.xml b/.idea/compiler.xml
deleted file mode 100644
index 291aedf..0000000
--- a/.idea/compiler.xml
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="CompilerConfiguration">
-    <annotationProcessing>
-      <profile name="Maven default annotation processors profile" enabled="true">
-        <sourceOutputDir name="target/generated-sources/annotations" />
-        <sourceTestOutputDir name="target/generated-test-sources/test-annotations" />
-        <outputRelativeToContentRoot value="true" />
-        <module name="SRLBoost" />
-        <module name="boostsrl" />
-      </profile>
-    </annotationProcessing>
-    <bytecodeTargetLevel>
-      <module name="boostsrl" target="1.8" />
-      <module name="SRLBoost" target="1.8" />
-    </bytecodeTargetLevel>
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/encodings.xml b/.idea/encodings.xml
deleted file mode 100644
index fade66b..0000000
--- a/.idea/encodings.xml
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="Encoding">
-    <file url="file://$PROJECT_DIR$" charset="UTF-8" />
-    <file url="file://$PROJECT_DIR$/src/main/java" charset="UTF-8" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
deleted file mode 100644
index 35eb1dd..0000000
--- a/.idea/vcs.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="VcsDirectoryMappings">
-    <mapping directory="" vcs="Git" />
-  </component>
-</project>
\ No newline at end of file