[forge-commits] [jbosstools/jbosstools-forge] aae1fe: JBIDE-18173: update the preferences page label
Branch: refs/heads/jbosstools-4.2.x
Home: https://github.com/jbosstools/jbosstools-forge
Commit: aae1fea589991eef3c09914427d410a4d3b656c3
https://github.com/jbosstools/jbosstools-forge/commit/aae1fea589991eef3c0...
Author: Koen Aers <koen.aers(a)gmail.com>
Date: 2014-09-12 (Fri, 12 Sep 2014)
Changed paths:
M
plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/internal/preferences/ForgeInstallationsPreferencePage.java
Log Message:
-----------
JBIDE-18173: update the preferences page label