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

terminal: update jediterm to 2.57

Browse Source 
GitOrigin-RevId: bbc139cb2fa7c168a0ee48f1309c84764ef97f19
This commit is contained in:
Sergey Simonchik
2021-09-20 21:37:50 +03:00
committed by intellij-monorepo-bot
parent 5bddaa21ce
commit 6a3fbdf0a7
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.idea/libraries/jediterm_pty.xml generated
View File

@@ -1,12 +1,12 @@
<component name="libraryTable">
<library name="jediterm-pty" type="repository">
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-pty:2.56" />
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-pty:2.57" />
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.56/jediterm-pty-2.56.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.57/jediterm-pty-2.57.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.56/jediterm-pty-2.56-sources.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.57/jediterm-pty-2.57-sources.jar!/" />
</SOURCES>
</library>
</component>