diff --git a/.idea/misc.xml b/.idea/misc.xml index 54267fb..1c92083 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -8,5 +8,7 @@ - + + + \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml index be32fb7..121f8d7 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -5,8 +5,9 @@ + - + + - { + "lastFilter": { + "state": "OPEN", + "assignee": "BAFGdeJong" } -}]]> - + { + "selectedUrlAndAccountId": { + "url": "git@github.com:2OOP/pism_ttt.git", + "accountId": "7694f583-f911-4763-8185-8ea3ed608804" } -}]]> - +} + { + "customColor": "", + "associatedIndex": 1 +}