Maven__org_key_project_key_core_2_7.xml 497 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
<component name="libraryTable">
  <library name="Maven: org.key-project:key.core:2.7">
    <CLASSES>
      <root url="jar://$MAVEN_REPOSITORY$/org/key-project/key.core/2.7/key.core-2.7.jar!/" />
    </CLASSES>
    <JAVADOC>
      <root url="jar://$MAVEN_REPOSITORY$/org/key-project/key.core/2.7/key.core-2.7-javadoc.jar!/" />
    </JAVADOC>
    <SOURCES>
      <root url="jar://$MAVEN_REPOSITORY$/org/key-project/key.core/2.7/key.core-2.7-sources.jar!/" />
    </SOURCES>
  </library>
</component>