oop-2020-steffo-cleaver/.idea/misc.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="JavadocGenerationManager">
    <option name="OUTPUT_DIRECTORY" value="$PROJECT_DIR$/docs" />
    <option name="OPTION_SCOPE" value="private" />
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_13" default="false" project-jdk-name="13" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/out" />
  </component>
</project>
First commit 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" />`
Make the project a module (and add some new docs) 2020-01-03 12:55:19 +00:00			`<option name="OPTION_SCOPE" value="private" />`
First commit 2019-12-05 00:05:10 +00:00			`</component>`
			`<component name="ProjectRootManager" version="2" languageLevel="JDK_13" default="false" project-jdk-name="13" project-jdk-type="JavaSDK">`
			`<output url="file://$PROJECT_DIR$/out" />`
			`</component>`
			`</project>`