MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-15 02:59:33 +07:00
Code Issues Packages Projects Releases Wiki Activity

Update IDEA Community tips (IDEA-230798)

Browse Source 
GitOrigin-RevId: 4d70c0ea757ea9cc49d73cdb8bb9e297adb78499
This commit is contained in:
Alexander Zolotov
2020-01-27 17:14:37 +03:00
committed by intellij-monorepo-bot
parent 7222e59425
commit f58a7e43b6
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
community-resources/intellij.idea.community.resources.iml
View File

@@ -11,9 +11,9 @@
<orderEntry type="module" module-name="intellij.java.ide.customization" scope="TEST" />
<orderEntry type="module-library" exported="" scope="RUNTIME">
<library name="tips-idea-ce" type="repository">
<properties maven-id="com.jetbrains.intellij.documentation:tips-intellij-idea-community:193.5" />
<properties maven-id="com.jetbrains.intellij.documentation:tips-intellij-idea-community:201.8" />
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-intellij-idea-community/193.5/tips-intellij-idea-community-193.5.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-intellij-idea-community/201.8/tips-intellij-idea-community-201.8.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />