mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 00:40:28 +07:00
c643e3d29e
Merge-request: IJ-MR-123650 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> GitOrigin-RevId: e2bc0ba890b4a2f0c0cd9386b387089e8626b1f6
18 lines
775 B
XML
18 lines
775 B
XML
<component name="libraryTable">
|
|
<library name="libthrift" type="repository">
|
|
<properties include-transitive-deps="false" maven-id="org.apache.thrift:libthrift:0.19.0">
|
|
<verification>
|
|
<artifact url="file://$MAVEN_REPOSITORY$/org/apache/thrift/libthrift/0.19.0/libthrift-0.19.0.jar">
|
|
<sha256sum>2b6e6550b40467ede7b3034a1a9eb9148fbf920cfdae5bf0b1d2bb3d4e780625</sha256sum>
|
|
</artifact>
|
|
</verification>
|
|
</properties>
|
|
<CLASSES>
|
|
<root url="jar://$MAVEN_REPOSITORY$/org/apache/thrift/libthrift/0.19.0/libthrift-0.19.0.jar!/" />
|
|
</CLASSES>
|
|
<JAVADOC />
|
|
<SOURCES>
|
|
<root url="jar://$MAVEN_REPOSITORY$/org/apache/thrift/libthrift/0.19.0/libthrift-0.19.0-sources.jar!/" />
|
|
</SOURCES>
|
|
</library>
|
|
</component> |