Files
openide/.idea/libraries/tips_pycharm_community.xml
Vera Petrenkova 0c77ac7945 IJPL-83056 update tips libraries because of wrong language tag
GitOrigin-RevId: 820182d6a609c7ce69925e56db6750f075704cc6
2024-06-26 16:24:43 +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.74">
<verification>
<artifact url="file://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-pycharm-community/241.74/tips-pycharm-community-241.74.jar">
<sha256sum>7f9fd8e37ec4dfdef7bfc3bc6a687fa5a322976fc588432fa46d2feb1fefc966</sha256sum>
</artifact>
</verification>
</properties>
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-pycharm-community/241.74/tips-pycharm-community-241.74.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</component>