2023-10-01 18:46:23 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<project version="4">
|
|
|
|
|
<component name="DiscordProjectSettings">
|
|
|
|
|
<option name="show" value="ASK" />
|
|
|
|
|
<option name="description" value="" />
|
|
|
|
|
</component>
|
|
|
|
|
<component name="ExternalStorageConfigurationManager" enabled="true" />
|
2023-11-01 10:59:58 +01:00
|
|
|
<component name="JavadocGenerationManager">
|
|
|
|
|
<option name="OUTPUT_DIRECTORY" value="$PROJECT_DIR$/../javadocs" />
|
|
|
|
|
</component>
|
2023-10-01 18:46:23 +02:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="temurin-17" project-jdk-type="JavaSDK">
|
|
|
|
|
<output url="file://$PROJECT_DIR$/out" />
|
|
|
|
|
</component>
|
|
|
|
|
</project>
|
