NichtHaskell/.idea/misc.xml

13 lines
457 B
XML
Raw Normal View History

2024-05-09 13:25:46 +00:00
<project version="4">
2024-05-09 13:58:48 +00:00
<component name="ExternalStorageConfigurationManager" enabled="true" />
<component name="MavenProjectsManager">
<option name="originalFiles">
<list>
<option value="$PROJECT_DIR$/pom.xml" />
</list>
</option>
</component>
<component name="ProjectRootManager" version="2" project-jdk-name="openjdk-22" project-jdk-type="JavaSDK">
2024-05-09 13:25:46 +00:00
<output url="file://$PROJECT_DIR$/out" />
</component>
</project>