mirror of
https://github.com/ilri/cgspace-java-helpers.git
synced 2024-06-29 01:23:54 +02:00
13 lines
519 B
XML
13 lines
519 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="ExternalStorageConfigurationManager" enabled="true" />
|
|
<component name="MavenProjectsManager">
|
|
<option name="originalFiles">
|
|
<list>
|
|
<option value="$PROJECT_DIR$/pom.xml" />
|
|
</list>
|
|
</option>
|
|
<option name="workspaceImportForciblyTurnedOn" value="true" />
|
|
</component>
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="17" project-jdk-type="JavaSDK" />
|
|
</project> |