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

[Koen Aers]

  Branch: refs/heads/master
  Home:   https://github.com/jbosstools/jbosstools-forge
  Commit: 0c461774dcaa76f7917f2499eaee5fa07985cc7f
      https://github.com/jbosstools/jbosstools-forge/commit/0c461774dcaa76f7917f2499eaee5fa07985cc7f
  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