From 1d9fa115ed1aeb72844f89c65294ea4fea817f78 Mon Sep 17 00:00:00 2001 From: Bas Antonius de Jong <49651652+BAFGdeJong@users.noreply.github.com> Date: Thu, 18 Sep 2025 13:13:03 +0200 Subject: [PATCH] Delete .idea/workspace.xml --- .idea/workspace.xml | 152 -------------------------------------------- 1 file changed, 152 deletions(-) delete mode 100644 .idea/workspace.xml diff --git a/.idea/workspace.xml b/.idea/workspace.xml deleted file mode 100644 index 38d9958..0000000 --- a/.idea/workspace.xml +++ /dev/null @@ -1,152 +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 - - - - - - - - - - - - - - -