2023-11-27 12:16:05 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<project version="4">
|
|
|
|
|
<component name="AutoImportSettings">
|
|
|
|
|
<option name="autoReloadType" value="SELECTIVE" />
|
|
|
|
|
</component>
|
|
|
|
|
<component name="ChangeListManager">
|
|
|
|
|
<list default="true" id="72cf1fbd-40b3-47aa-ad24-b4e28ca48019" name="Changes" comment="">
|
|
|
|
|
<change afterPath="$PROJECT_DIR$/.idea/.gitignore" afterDir="false" />
|
|
|
|
|
<change afterPath="$PROJECT_DIR$/.idea/inspectionProfiles/profiles_settings.xml" afterDir="false" />
|
|
|
|
|
<change afterPath="$PROJECT_DIR$/.idea/jezykiformalne.iml" afterDir="false" />
|
|
|
|
|
<change afterPath="$PROJECT_DIR$/.idea/misc.xml" afterDir="false" />
|
|
|
|
|
<change afterPath="$PROJECT_DIR$/.idea/modules.xml" afterDir="false" />
|
|
|
|
|
<change afterPath="$PROJECT_DIR$/.idea/vcs.xml" afterDir="false" />
|
|
|
|
|
</list>
|
|
|
|
|
<option name="SHOW_DIALOG" value="false" />
|
|
|
|
|
<option name="HIGHLIGHT_CONFLICTS" value="true" />
|
|
|
|
|
<option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
|
|
|
|
|
<option name="LAST_RESOLUTION" value="IGNORE" />
|
|
|
|
|
</component>
|
|
|
|
|
<component name="Git.Settings">
|
|
|
|
|
<option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
|
|
|
|
|
</component>
|
|
|
|
|
<component name="MarkdownSettingsMigration">
|
|
|
|
|
<option name="stateVersion" value="1" />
|
|
|
|
|
</component>
|
|
|
|
|
<component name="ProjectId" id="2XTqxj3Jb6nsJrXb6dR6Eezc5p6" />
|
|
|
|
|
<component name="ProjectViewState">
|
|
|
|
|
<option name="hideEmptyMiddlePackages" value="true" />
|
|
|
|
|
<option name="showLibraryContents" value="true" />
|
|
|
|
|
</component>
|
2023-11-27 12:47:50 +01:00
|
|
|
<component name="PropertiesComponent"><![CDATA[{
|
|
|
|
|
"keyToString": {
|
|
|
|
|
"RunOnceActivity.OpenProjectViewOnStart": "true",
|
|
|
|
|
"RunOnceActivity.ShowReadmeOnStart": "true",
|
|
|
|
|
"WebServerToolWindowFactoryState": "false",
|
|
|
|
|
"last_opened_file_path": "J:/PycharmProjects/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"
|
2023-11-27 12:16:05 +01:00
|
|
|
}
|
2023-11-27 12:47:50 +01:00
|
|
|
}]]></component>
|
2023-11-27 12:16:05 +01:00
|
|
|
<component name="RunManager" selected="Python.main">
|
|
|
|
|
<configuration name="main" type="PythonConfigurationType" factoryName="Python" temporary="true" nameIsGenerated="true">
|
|
|
|
|
<module name="jezykiformalne" />
|
|
|
|
|
<option name="INTERPRETER_OPTIONS" value="" />
|
|
|
|
|
<option name="PARENT_ENVS" value="true" />
|
|
|
|
|
<envs>
|
|
|
|
|
<env name="PYTHONUNBUFFERED" value="1" />
|
|
|
|
|
</envs>
|
|
|
|
|
<option name="SDK_HOME" value="" />
|
|
|
|
|
<option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/TaskC00" />
|
|
|
|
|
<option name="IS_MODULE_SDK" value="true" />
|
|
|
|
|
<option name="ADD_CONTENT_ROOTS" value="true" />
|
|
|
|
|
<option name="ADD_SOURCE_ROOTS" value="true" />
|
|
|
|
|
<EXTENSION ID="PythonCoverageRunConfigurationExtension" runner="coverage.py" />
|
|
|
|
|
<option name="SCRIPT_NAME" value="$PROJECT_DIR$/TaskC00/main.py" />
|
|
|
|
|
<option name="PARAMETERS" value="" />
|
|
|
|
|
<option name="SHOW_COMMAND_LINE" value="false" />
|
|
|
|
|
<option name="EMULATE_TERMINAL" value="false" />
|
|
|
|
|
<option name="MODULE_MODE" value="false" />
|
|
|
|
|
<option name="REDIRECT_INPUT" value="false" />
|
|
|
|
|
<option name="INPUT_FILE" value="" />
|
|
|
|
|
<method v="2" />
|
|
|
|
|
</configuration>
|
|
|
|
|
<configuration name="run" type="PythonConfigurationType" factoryName="Python" temporary="true" nameIsGenerated="true">
|
|
|
|
|
<module name="jezykiformalne" />
|
|
|
|
|
<option name="INTERPRETER_OPTIONS" value="" />
|
|
|
|
|
<option name="PARENT_ENVS" value="true" />
|
|
|
|
|
<envs>
|
|
|
|
|
<env name="PYTHONUNBUFFERED" value="1" />
|
|
|
|
|
</envs>
|
|
|
|
|
<option name="SDK_HOME" value="" />
|
|
|
|
|
<option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/TaskB00" />
|
|
|
|
|
<option name="IS_MODULE_SDK" value="true" />
|
|
|
|
|
<option name="ADD_CONTENT_ROOTS" value="true" />
|
|
|
|
|
<option name="ADD_SOURCE_ROOTS" value="true" />
|
|
|
|
|
<EXTENSION ID="PythonCoverageRunConfigurationExtension" runner="coverage.py" />
|
|
|
|
|
<option name="SCRIPT_NAME" value="$PROJECT_DIR$/TaskB00/run.py" />
|
|
|
|
|
<option name="PARAMETERS" value="" />
|
|
|
|
|
<option name="SHOW_COMMAND_LINE" value="false" />
|
|
|
|
|
<option name="EMULATE_TERMINAL" value="false" />
|
|
|
|
|
<option name="MODULE_MODE" value="false" />
|
|
|
|
|
<option name="REDIRECT_INPUT" value="false" />
|
|
|
|
|
<option name="INPUT_FILE" value="" />
|
|
|
|
|
<method v="2" />
|
|
|
|
|
</configuration>
|
|
|
|
|
<recent_temporary>
|
|
|
|
|
<list>
|
|
|
|
|
<item itemvalue="Python.main" />
|
|
|
|
|
<item itemvalue="Python.run" />
|
|
|
|
|
</list>
|
|
|
|
|
</recent_temporary>
|
|
|
|
|
</component>
|
|
|
|
|
<component name="SpellCheckerSettings" RuntimeDictionaries="0" Folders="0" CustomDictionaries="0" DefaultDictionary="application-level" UseSingleDictionary="true" transferred="true" />
|
|
|
|
|
<component name="TaskManager">
|
|
|
|
|
<task active="true" id="Default" summary="Default task">
|
|
|
|
|
<changelist id="72cf1fbd-40b3-47aa-ad24-b4e28ca48019" name="Changes" comment="" />
|
|
|
|
|
<created>1698663666324</created>
|
|
|
|
|
<option name="number" value="Default" />
|
|
|
|
|
<option name="presentableId" value="Default" />
|
|
|
|
|
<updated>1698663666324</updated>
|
|
|
|
|
<workItem from="1698663667983" duration="3669000" />
|
|
|
|
|
<workItem from="1698667393874" duration="591000" />
|
|
|
|
|
<workItem from="1698875504210" duration="801000" />
|
|
|
|
|
<workItem from="1698876438874" duration="278000" />
|
|
|
|
|
<workItem from="1700049092114" duration="71000" />
|
|
|
|
|
<workItem from="1700049195784" duration="1534000" />
|
|
|
|
|
<workItem from="1701083054912" duration="676000" />
|
|
|
|
|
</task>
|
|
|
|
|
<servers />
|
|
|
|
|
</component>
|
|
|
|
|
<component name="TypeScriptGeneratedFilesManager">
|
|
|
|
|
<option name="version" value="3" />
|
|
|
|
|
</component>
|
|
|
|
|
<component name="com.intellij.coverage.CoverageDataManagerImpl">
|
|
|
|
|
<SUITE FILE_PATH="coverage/jezykiformalne$main.coverage" NAME="main Coverage Results" MODIFIED="1700050514289" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$/TaskC00" />
|
|
|
|
|
<SUITE FILE_PATH="coverage/jezykiformalne$run.coverage" NAME="run Coverage Results" MODIFIED="1698667882969" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$/TaskB00" />
|
|
|
|
|
</component>
|
|
|
|
|
</project>
|
