2017-05-30 21:36:39 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<project version="4">
|
|
|
|
|
<component name="MavenProjectsManager">
|
|
|
|
|
<option name="originalFiles">
|
|
|
|
|
<list>
|
|
|
|
|
<option value="$PROJECT_DIR$/pom.xml" />
|
|
|
|
|
</list>
|
|
|
|
|
</option>
|
2018-06-03 16:24:21 +02:00
|
|
|
<option name="ignoredFiles">
|
|
|
|
|
<set>
|
|
|
|
|
<option value="$PROJECT_DIR$/api-modules/PluginAPI/pom.xml" />
|
|
|
|
|
</set>
|
|
|
|
|
</option>
|
2017-05-30 21:36:39 +02:00
|
|
|
</component>
|
|
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="1.8" project-jdk-type="JavaSDK">
|
|
|
|
|
<output url="file://$PROJECT_DIR$/out" />
|
|
|
|
|
</component>
|
|
|
|
|
</project>
|
