Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update 3rd party p2 repo version

Browse Source
This commit is contained in:
BoykoAlex
2019-03-18 13:07:39 -04:00
parent 598efa5022
commit df5345aa7e
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
eclipse-language-servers/pom.xml
View File

@@ -90,13 +90,15 @@
<dist.key>TOOLS</dist.key>
<dist.path>${dist.type}/${dist.key}/${dist.project}/${dist.version}</dist.path>
<misc.p2.repo.version>3.9.4.201902271843</misc.p2.repo.version>
</properties>
<repositories>
<repository>
<id>third-party-p2-site</id>
<repositories>
<repository>
<id>third-party-p2-site</id>
<layout>p2</layout>
<url>http://dist.springsource.com/release/TOOLS/third-party/misc-p2-repo/3.9.4.201810191512</url>
<url>http://dist.springsource.com/release/TOOLS/third-party/misc-p2-repo/${misc.p2.repo.version}</url>
</repository>
</repositories>