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-12 18:21:04 +00:00
|
|
|
<option name="OPTION_DOCUMENT_TAG_AUTHOR" value="true" />
|
2020-01-05 15:58:06 +00:00
|
|
|
<option name="OPTION_DOCUMENT_TAG_DEPRECATED" value="false" />
|
2020-01-12 18:21:04 +00:00
|
|
|
<option name="OTHER_OPTIONS" value="-encoding UTF-8 -docencoding utf-8 -charset utf-8 --add-stylesheet D:\Codice\cleaver\resources\style.css -html5 -keywords -windowtitle "Cleaver"" />
|
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-12 16:50:00 +00:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="false" project-jdk-name="13" project-jdk-type="JavaSDK">
|
2019-12-05 00:05:10 +00:00
|
|
|
<output url="file://$PROJECT_DIR$/out" />
|
|
|
|
</component>
|
|
|
|
</project>
|