[jbosstools-issues] [JBoss JIRA] (JBIDE-20683) Remove unnecessary lines in ide-config.properties
Nick Boldt (JIRA)
issues at jboss.org
Tue Nov 8 18:14:00 EST 2016
[ https://issues.jboss.org/browse/JBIDE-20683?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13319161#comment-13319161 ]
Nick Boldt commented on JBIDE-20683:
------------------------------------
If we fix JBIDE-23475 then we probably won't have this problem anymore.
> Remove unnecessary lines in ide-config.properties
> -------------------------------------------------
>
> Key: JBIDE-20683
> URL: https://issues.jboss.org/browse/JBIDE-20683
> Project: Tools (JBoss Tools)
> Issue Type: Enhancement
> Components: build, website
> Affects Versions: 4.3.0.CR1
> Reporter: Andrej Podhradsky
> Assignee: Nick Boldt
> Priority: Trivial
> Fix For: LATER
>
>
> Currently, the properties file at
> http://download.jboss.org/jbosstools/configuration/ide-config.properties
> contains lots of lines which are commented out. I suggest to remove all unnecessary lines to improve the readability.
--
This message was sent by Atlassian JIRA
(v7.2.3#72005)
More information about the jbosstools-issues
mailing list