1
Fork 0
mirror of https://github.com/Steffo99/unimore-oop-2020-cleaver.git synced 2024-11-24 17:14:20 +00:00
oop-2020-steffo-cleaver/.idea/misc.xml

15 lines
892 B
XML
Raw Normal View History

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 &quot;Cleaver&quot;" />
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>