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
813 B
XML
18 lines
813 B
XML
<component name="libraryTable">
|
|
<library name="jediterm-core" type="repository">
|
|
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-core:3.47">
|
|
<verification>
|
|
<artifact url="file://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.47/jediterm-core-3.47.jar">
|
|
<sha256sum>783da24cb8fbf0b928e58d39a5c7d43284ee7646f8039a3681f75db73aab794a</sha256sum>
|
|
</artifact>
|
|
</verification>
|
|
</properties>
|
|
<CLASSES>
|
|
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.47/jediterm-core-3.47.jar!/" />
|
|
</CLASSES>
|
|
<JAVADOC />
|
|
<SOURCES>
|
|
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.47/jediterm-core-3.47-sources.jar!/" />
|
|
</SOURCES>
|
|
</library>
|
|
</component> |