[forge-commits] [jbosstools/jbosstools-forge] 0c4617: JBIDE-18173: update the preferences page label
Branch: refs/heads/master
Home: https://github.com/jbosstools/jbosstools-forge
Commit: 0c461774dcaa76f7917f2499eaee5fa07985cc7f
https://github.com/jbosstools/jbosstools-forge/commit/0c461774dcaa76f7917...
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