From 9c45c7cf656393945884d113e9b84c10b3533b2f Mon Sep 17 00:00:00 2001
From: Daniel Sanchez <3danimanimal@gmail.com>
Date: Wed, 22 Mar 2023 10:45:39 +0100
Subject: [PATCH] Remove intellij folder from git

---
 .idea/.gitignore      |  8 --------
 .idea/markdown.xml    |  6 ------
 .idea/misc.xml        |  4 ----
 .idea/modules.xml     |  8 --------
 .idea/nomos-specs.iml | 11 -----------
 .idea/vcs.xml         |  6 ------
 6 files changed, 43 deletions(-)
 delete mode 100644 .idea/.gitignore
 delete mode 100644 .idea/markdown.xml
 delete mode 100644 .idea/misc.xml
 delete mode 100644 .idea/modules.xml
 delete mode 100644 .idea/nomos-specs.iml
 delete mode 100644 .idea/vcs.xml

diff --git a/.idea/.gitignore b/.idea/.gitignore
deleted file mode 100644
index 13566b8..0000000
--- a/.idea/.gitignore
+++ /dev/null
@@ -1,8 +0,0 @@
-# Default ignored files
-/shelf/
-/workspace.xml
-# Editor-based HTTP Client requests
-/httpRequests/
-# Datasource local storage ignored files
-/dataSources/
-/dataSources.local.xml
diff --git a/.idea/markdown.xml b/.idea/markdown.xml
deleted file mode 100644
index f6d2542..0000000
--- a/.idea/markdown.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="MarkdownSettings">
-    <option name="showProblemsInCodeBlocks" value="false" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
deleted file mode 100644
index 64d0f4a..0000000
--- a/.idea/misc.xml
+++ /dev/null
@@ -1,4 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.9 (nomos-specs)" project-jdk-type="Python SDK" />
-</project>
\ No newline at end of file
diff --git a/.idea/modules.xml b/.idea/modules.xml
deleted file mode 100644
index bc39f4b..0000000
--- a/.idea/modules.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectModuleManager">
-    <modules>
-      <module fileurl="file://$PROJECT_DIR$/.idea/nomos-specs.iml" filepath="$PROJECT_DIR$/.idea/nomos-specs.iml" />
-    </modules>
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/nomos-specs.iml b/.idea/nomos-specs.iml
deleted file mode 100644
index c8bfff0..0000000
--- a/.idea/nomos-specs.iml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="WEB_MODULE" version="4">
-  <component name="Go" enabled="true" />
-  <component name="NewModuleRootManager">
-    <content url="file://$MODULE_DIR$">
-      <excludeFolder url="file://$MODULE_DIR$/venv" />
-    </content>
-    <orderEntry type="jdk" jdkName="Python 3.9 (nomos-specs)" jdkType="Python SDK" />
-    <orderEntry type="sourceFolder" forTests="false" />
-  </component>
-</module>
\ No newline at end of file
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
deleted file mode 100644
index 94a25f7..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="$PROJECT_DIR$" vcs="Git" />
-  </component>
-</project>
\ No newline at end of file