2019-12-05 00:05:10 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<project version="4">
|
|
|
|
<component name="JavadocGenerationManager">
|
|
|
|
<option name="OUTPUT_DIRECTORY" value="$PROJECT_DIR$/docs" />
|
2020-01-05 17:46:32 +00:00
|
|
|
<option name="OPTION_SCOPE" value="private" />
|
2020-01-05 15:58:06 +00:00
|
|
|
<option name="OPTION_DOCUMENT_TAG_DEPRECATED" value="false" />
|
2020-01-10 01:35:52 +00:00
|
|
|
<option name="OTHER_OPTIONS" value="-encoding UTF-8 -docencoding utf-8 -charset utf-8" />
|
2020-01-05 14:07:26 +00:00
|
|
|
<option name="OPTION_INCLUDE_LIBS" value="true" />
|
2020-01-05 17:46:32 +00:00
|
|
|
<option name="OPTION_LINK_TO_JDK_DOCS" value="true" />
|
2019-12-05 00:05:10 +00:00
|
|
|
</component>
|
2020-01-10 01:35:52 +00:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
|
2019-12-05 00:05:10 +00:00
|
|
|
<output url="file://$PROJECT_DIR$/out" />
|
|
|
|
</component>
|
|
|
|
</project>
|