2019-09-02 14:51:26 -04:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<project version="4">
|
2019-10-03 20:16:37 -03:00
|
|
|
<component name="ExternalStorageConfigurationManager" enabled="true" />
|
2020-02-12 20:46:33 -03:00
|
|
|
<component name="JavaScriptSettings">
|
|
|
|
<option name="languageLevel" value="ES6" />
|
|
|
|
</component>
|
2019-09-02 14:51:26 -04:00
|
|
|
<component name="JavadocGenerationManager">
|
2019-09-22 17:04:37 -03:00
|
|
|
<option name="OUTPUT_DIRECTORY" value="$PROJECT_DIR$/javadoc" />
|
2019-09-21 20:41:21 -03:00
|
|
|
<option name="OPTION_SCOPE" value="private" />
|
2019-09-21 20:43:37 -03:00
|
|
|
<option name="OPEN_IN_BROWSER" value="false" />
|
2019-09-02 14:51:26 -04:00
|
|
|
</component>
|
2020-02-12 20:46:33 -03:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="false" project-jdk-name="OpenJDK 11" project-jdk-type="JavaSDK">
|
2019-10-03 20:16:37 -03:00
|
|
|
<output url="file://$PROJECT_DIR$/out" />
|
2019-09-02 14:51:26 -04:00
|
|
|
</component>
|
|
|
|
</project>
|