Maven__org_key_project_recoderKey_1_0_0.xml 525 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:recoderKey:1.0.0">
    <CLASSES>
      <root url="jar://$MAVEN_REPOSITORY$/org/key-project/recoderKey/1.0.0/recoderKey-1.0.0.jar!/" />
    </CLASSES>
    <JAVADOC>
      <root url="jar://$MAVEN_REPOSITORY$/org/key-project/recoderKey/1.0.0/recoderKey-1.0.0-javadoc.jar!/" />
    </JAVADOC>
    <SOURCES>
      <root url="jar://$MAVEN_REPOSITORY$/org/key-project/recoderKey/1.0.0/recoderKey-1.0.0-sources.jar!/" />
    </SOURCES>
  </library>
</component>