|
@@ -0,0 +1,24 @@
|
|
|
|
+<?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" />
|
|
|
|
+ <component name="GithubDefaultAccount">
|
|
|
|
+ <option name="defaultAccountId" value="9f6bf6d3-1fa8-40c3-9d01-e676d86861e6" />
|
|
|
|
+ </component>
|
|
|
|
+ <component name="MarkdownSettingsMigration">
|
|
|
|
+ <option name="stateVersion" value="1" />
|
|
|
|
+ </component>
|
|
|
|
+ <component name="MavenProjectsManager">
|
|
|
|
+ <option name="originalFiles">
|
|
|
|
+ <list>
|
|
|
|
+ <option value="$PROJECT_DIR$/pom.xml" />
|
|
|
|
+ </list>
|
|
|
|
+ </option>
|
|
|
|
+ </component>
|
|
|
|
+ <component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="openjdk-21" project-jdk-type="JavaSDK">
|
|
|
|
+ <output url="file://$PROJECT_DIR$/out" />
|
|
|
|
+ </component>
|
|
|
|
+</project>
|