2019-10-11 13:05:31 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<project version="4">
|
2019-12-04 09:43:29 +00:00
|
|
|
<component name="ExternalStorageConfigurationManager" enabled="true" />
|
2019-12-06 08:24:45 +00:00
|
|
|
<component name="JavaScriptSettings">
|
|
|
|
<option name="languageLevel" value="ES6" />
|
|
|
|
</component>
|
2020-01-23 18:03:47 +00:00
|
|
|
<component name="JavadocGenerationManager">
|
|
|
|
<option name="OUTPUT_DIRECTORY" value="$USER_HOME$/Schreibtisch/testjavadoc" />
|
2020-01-30 14:04:42 +00:00
|
|
|
<option name="OPTION_DOCUMENT_TAG_AUTHOR" value="true" />
|
2020-01-23 18:03:47 +00:00
|
|
|
</component>
|
2020-01-16 16:27:16 +00:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_13" default="true" project-jdk-name="13" project-jdk-type="JavaSDK">
|
2019-10-11 13:05:31 +00:00
|
|
|
<output url="file://$PROJECT_DIR$/out" />
|
|
|
|
</component>
|
|
|
|
</project>
|