This repository has been archived on 2022-07-03. You can view files and clone it, but cannot push or open issues or pull requests.
EAS_GUI/.idea/misc.xml
2022-06-24 20:51:44 +08:00

13 lines
452 B
XML

<?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>
</component>
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="true" project-jdk-name="11" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/out" />
</component>
</project>