Files
openide/.idea/libraries/tips_pycharm_community.xml
Vera Petrenkova eb7c026662 IJPL-149066 update tips libraries to remove unnecessary registered tips
GitOrigin-RevId: a14a90d214f07806dcac83bd0c8dfa6e72d1dbfb
2024-05-13 16:21:48 +00:00

16 lines
753 B
XML

<component name="libraryTable">
<library name="tips-pycharm-community" type="repository">
<properties maven-id="com.jetbrains.intellij.documentation:tips-pycharm-community:241.54">
<verification>
<artifact url="file://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-pycharm-community/241.54/tips-pycharm-community-241.54.jar">
<sha256sum>f3cee749f3637f666c43a426262d84623d62a8447d2d4fbc33d8751fea26116a</sha256sum>
</artifact>
</verification>
</properties>
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-pycharm-community/241.54/tips-pycharm-community-241.54.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</component>