From 57588fd6ac8ac1e73f7214f0501f43d93d04491a Mon Sep 17 00:00:00 2001 From: Vitor Pamplona Date: Mon, 14 Aug 2023 16:05:01 -0400 Subject: [PATCH] no need for these idea files in GitHub --- .idea/.gitignore | 3 -- .idea/.name | 1 - .idea/inspectionProfiles/Project_Default.xml | 40 -------------------- 3 files changed, 44 deletions(-) delete mode 100644 .idea/.gitignore delete mode 100644 .idea/.name delete mode 100644 .idea/inspectionProfiles/Project_Default.xml 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/.name b/.idea/.name deleted file mode 100644 index d39e145c1..000000000 --- a/.idea/.name +++ /dev/null @@ -1 +0,0 @@ -Amethyst \ No newline at end of file diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml deleted file mode 100644 index d7cb58b81..000000000 --- a/.idea/inspectionProfiles/Project_Default.xml +++ /dev/null @@ -1,40 +0,0 @@ - - - - \ No newline at end of file