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

updated jb-jdi to 1.3

Browse Source 
GitOrigin-RevId: 18641f31e04df32af57e2f113a402e01dfdd4092
This commit is contained in:
Egor Ushakov
2019-12-30 18:41:19 +03:00
committed by intellij-monorepo-bot
parent 40e5ae6b08
commit a57a38aaca
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/debugger/impl/intellij.java.debugger.impl.iml
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.2" />
<properties maven-id="org.jetbrains.intellij.deps:jb-jdi:1.3" />
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.2/jb-jdi-1.2.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.3/jb-jdi-1.3.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.2/jb-jdi-1.2-sources.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/intellij/deps/jb-jdi/1.3/jb-jdi-1.3-sources.jar!/" />
</SOURCES>
</library>
</orderEntry>