GPII/prefsEditors — pull request #8 by jobara (2013-10-16 15:13:31+00:00)
Title: Exploration Tool

Includes bug fixes, particularly to the ui design. Also a rename of the Discovery Tool to Exploration Tool