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

use jb-jdi 1.2

Browse Source 
GitOrigin-RevId: 792d766755eca0302096928ce5b552082b6eca92
This commit is contained in:
Egor Ushakov
2019-12-06 15:10:09 +00:00
committed by intellij-monorepo-bot
parent d0407342dd
commit 1c5f538a0f
2 changed files with 14 additions and 8 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.1" />
<properties maven-id="org.jetbrains.intellij.deps:jb-jdi:1.2" />
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.1/jb-jdi-1.1.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.2/jb-jdi-1.2.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.1/jb-jdi-1.1-sources.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.2/jb-jdi-1.2-sources.jar!/" />
</SOURCES>
</library>
</orderEntry>