[forge-commits] [jbosstools/jbosstools-forge] aae1fe: JBIDE-18173: update the preferences page label

[Koen Aers]

  Branch: refs/heads/jbosstools-4.2.x
  Home:   https://github.com/jbosstools/jbosstools-forge
  Commit: aae1fea589991eef3c09914427d410a4d3b656c3
      https://github.com/jbosstools/jbosstools-forge/commit/aae1fea589991eef3c09914427d410a4d3b656c3
  Author: Koen Aers <koen.aers at 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