From 7e80e5bc9485862a814b1e174d422e7ff52e6334 Mon Sep 17 00:00:00 2001 From: lluni Date: Sun, 22 May 2022 22:00:26 +0200 Subject: [PATCH] Deleted .idea/workspace.xml and added it to .gitignore --- .gitignore | 1 + .idea/workspace.xml | 130 -------------------------------------------- 2 files changed, 1 insertion(+), 130 deletions(-) delete mode 100644 .idea/workspace.xml diff --git a/.gitignore b/.gitignore index b63da45..0f020cd 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,7 @@ build/ .idea/jarRepositories.xml .idea/compiler.xml .idea/libraries/ +.idea/workspace.xml *.iws *.iml *.ipr diff --git a/.idea/workspace.xml b/.idea/workspace.xml deleted file mode 100644 index c8d666d..0000000 --- a/.idea/workspace.xml +++ /dev/null @@ -1,130 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -