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 - - - - - - - - - - - - - - -