From 23f1b9ea715e69de3d89971a32b01b84521fd220 Mon Sep 17 00:00:00 2001 From: Bas de Jong Date: Thu, 18 Sep 2025 13:03:52 +0200 Subject: [PATCH] Updated .gitignore, removed some .idea files from repository --- .gitignore | 5 +- .idea/libraries/google_guava.xml | 10 ++ .idea/workspace.xml | 151 ------------------------------- 3 files changed, 14 insertions(+), 152 deletions(-) create mode 100644 .idea/libraries/google_guava.xml delete mode 100644 .idea/workspace.xml diff --git a/.gitignore b/.gitignore index a44b021..323576f 100644 --- a/.gitignore +++ b/.gitignore @@ -39,8 +39,11 @@ gradle-app.setting ## IntelliJ ############################## out/ -.idea/ +workspace.xml +usage.statistics.xml +shelf/ .idea_modules/ +.idea/modules.xml *.iml *.ipr *.iws diff --git a/.idea/libraries/google_guava.xml b/.idea/libraries/google_guava.xml new file mode 100644 index 0000000..49f14b8 --- /dev/null +++ b/.idea/libraries/google_guava.xml @@ -0,0 +1,10 @@ + + + + + + + + + + \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml deleted file mode 100644 index 9f84a1a..0000000 --- a/.idea/workspace.xml +++ /dev/null @@ -1,151 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - { - "lastFilter": {} -} - { - "prStates": [ - { - "id": { - "id": "PR_kwDOPslbWM6pHd-p", - "number": 25 - }, - "lastSeen": 1758130713799 - } - ] -} - { - "selectedUrlAndAccountId": { - "url": "git@github.com:2OOP/pism_ttt.git", - "accountId": "7694f583-f911-4763-8185-8ea3ed608804" - } -} - {} - { - "isMigrated": true -} - { - "customColor": "", - "associatedIndex": 1 -} - - - - - - - - - - - - - - - - - - 1758117514311 - - - - - - - - - - - -