[jbosstools-issues] [JBoss JIRA] (JBIDE-18382) ide.properties has vpn only locations

[Mickael Istria (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-18382?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Mickael Istria resolved JBIDE-18382.
------------------------------------
    Resolution: Done


Forgot to mark it as resolved.
See http://download.jboss.org/jbosstools/configuration/ide-config.properties

> ide.properties has vpn only locations
> -------------------------------------
>
>                 Key: JBIDE-18382
>                 URL: https://issues.jboss.org/browse/JBIDE-18382
>             Project: Tools (JBoss Tools)
>          Issue Type: Bug
>          Components: build
>            Reporter: Max Rydahl Andersen
>            Assignee: Mickael Istria
>            Priority: Critical
>             Fix For: 4.2.0.CR2
>
>
> https://github.com/jbosstools/jbosstools-download.jboss.org/commit/fce69ca837865e9b6d36148b7a88b75061b8135a shows ide.properties have vpn only locations.
> That should not (ever) happen.



--
This message was sent by Atlassian JIRA
(v6.3.1#6329)