MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

updated jb-jdi to 1.4

Browse Source 
GitOrigin-RevId: ce2e9c018fa7f1ed9d82442626cb90441438462a
This commit is contained in:
Egor Ushakov
2020-01-13 13:36:39 +00:00
committed by intellij-monorepo-bot
parent f64be2cf2c
commit af24616d0b
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/debugger/impl/intellij.java.debugger.impl.iml
+3 -3
View File
@@ -36,13 +36,13 @@
</orderEntry>
<orderEntry type="module-library">
<library name="jb-jdi" type="repository">
<properties maven-id="org.jetbrains.intellij.deps:jb-jdi:1.3" />
<properties maven-id="org.jetbrains.intellij.deps:jb-jdi:1.4" />
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.3/jb-jdi-1.3.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.4/jb-jdi-1.4.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.3/jb-jdi-1.3-sources.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.4/jb-jdi-1.4-sources.jar!/" />
</SOURCES>
</library>
</orderEntry>