From e1c4f66bc16e6af19fb8a7da11b72fe04b91cffc Mon Sep 17 00:00:00 2001 From: s473579 Date: Mon, 27 Nov 2023 12:16:05 +0100 Subject: [PATCH] Merge .idea directory changes from remote repository --- .idea/workspace.xml | 122 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 122 insertions(+) create mode 100644 .idea/workspace.xml diff --git a/.idea/workspace.xml b/.idea/workspace.xml new file mode 100644 index 0000000..c08067d --- /dev/null +++ b/.idea/workspace.xml @@ -0,0 +1,122 @@ + + + + + + + + + + + + + + + + + + + + + + { + "keyToString": { + "RunOnceActivity.OpenProjectViewOnStart": "true", + "RunOnceActivity.ShowReadmeOnStart": "true", + "WebServerToolWindowFactoryState": "false", + "last_opened_file_path": "/home/students/s473579/PycharmProjects/JezykiFormalne/Zajecie1/jezykiformalne", + "node.js.detected.package.eslint": "true", + "node.js.detected.package.tslint": "true", + "node.js.selected.package.eslint": "(autodetect)", + "node.js.selected.package.tslint": "(autodetect)", + "nodejs_package_manager_path": "npm", + "vue.rearranger.settings.migration": "true" + } +} + + + + + + + + + + + + + + + + + + + 1698663666324 + + + + + + + + + + \ No newline at end of file