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

Convert jediterm to repository library

Browse Source
This commit is contained in:
Dmitry Trofimov
2018-07-20 15:54:10 +03:00
parent 72d5da5a3e
commit 8ab8d6f43b
2 changed files with 12 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
.idea/jarRepositories.xml generated
View File

@@ -12,9 +12,9 @@
<option name="url" value="https://jetbrains.bintray.com/intellij-third-party-dependencies" /> <option name="url" value="https://jetbrains.bintray.com/intellij-third-party-dependencies" />
</remote-repository> </remote-repository>
<remote-repository> <remote-repository>
<option name="id" value="jcenter"/> <option name="id" value="jcenter" />
<option name="name" value="JCenter on Bintray"/> <option name="name" value="JCenter on Bintray" />
<option name="url" value="https://jcenter.bintray.com"/> <option name="url" value="https://jcenter.bintray.com" />
</remote-repository> </remote-repository>
<remote-repository> <remote-repository>
<option name="id" value="18c13506-e994-44b4-9eef-4e6ec3262e15" /> <option name="id" value="18c13506-e994-44b4-9eef-4e6ec3262e15" />
@@ -36,5 +36,10 @@
<option name="name" value="jitpack" /> <option name="name" value="jitpack" />
<option name="url" value="https://jitpack.io" /> <option name="url" value="https://jitpack.io" />
</remote-repository> </remote-repository>
<remote-repository>
<option name="id" value="8e0b07ff-f7c3-4a77-a62b-ab464737b720" />
<option name="name" value="8e0b07ff-f7c3-4a77-a62b-ab464737b720" />
<option name="url" value="https://jetbrains.bintray.com/jediterm/" />
</remote-repository>
</component> </component>
</project> </project>

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

@@ -1,11 +1,12 @@
<component name="libraryTable"> <component name="libraryTable">
<library name="jediterm-pty"> <library name="jediterm-pty" type="repository">
<properties maven-id="org.jetbrains:jediterm-pty:2.10" />
<CLASSES> <CLASSES>
<root url="jar://$PROJECT_DIR$/lib/jediterm-pty-2.10.jar!/" /> <root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm-pty/2.10/jediterm-pty-2.10.jar!/" />
</CLASSES> </CLASSES>
<JAVADOC /> <JAVADOC />
<SOURCES> <SOURCES>
<root url="jar://$PROJECT_DIR$/lib/src/jediterm-pty-2.10-src.jar!/" /> <root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm-pty/2.10/jediterm-pty-2.10-sources.jar!/" />
</SOURCES> </SOURCES>
</library> </library>
</component> </component>