diff --git a/.idea/compiler.xml b/.idea/compiler.xml index 3deac64..7c00169 100644 --- a/.idea/compiler.xml +++ b/.idea/compiler.xml @@ -7,6 +7,7 @@ + diff --git a/.idea/misc.xml b/.idea/misc.xml index 54267fb..67f7df6 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -1,5 +1,10 @@ + + + + + - + + + \ No newline at end of file diff --git a/.idea/uiDesigner.xml b/.idea/uiDesigner.xml new file mode 100644 index 0000000..75d7be8 --- /dev/null +++ b/.idea/uiDesigner.xml @@ -0,0 +1,127 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml index be32fb7..9f84a1a 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -7,6 +7,12 @@ + + + + + + + - { + "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 +} + + +