mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
89b465e1a5
(cherry picked from commit a58dfab2e96fec5e348796c06a2dcdd6d217e391) IJ-MR-144634 GitOrigin-RevId: 3c81bf1e446bb846c5a89d6a5a698c1fe027fed8
18 lines
797 B
XML
18 lines
797 B
XML
<component name="libraryTable">
|
|
<library name="jediterm-ui" type="repository">
|
|
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-ui:3.47">
|
|
<verification>
|
|
<artifact url="file://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.47/jediterm-ui-3.47.jar">
|
|
<sha256sum>5217fe12ddcdb5bb134bc22410c74400ffc3ecca1bc465692e42809f64be1158</sha256sum>
|
|
</artifact>
|
|
</verification>
|
|
</properties>
|
|
<CLASSES>
|
|
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.47/jediterm-ui-3.47.jar!/" />
|
|
</CLASSES>
|
|
<JAVADOC />
|
|
<SOURCES>
|
|
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.47/jediterm-ui-3.47-sources.jar!/" />
|
|
</SOURCES>
|
|
</library>
|
|
</component> |