fluid-project/prefsEditors — pull request #56 by jobara (2013-10-28 18:31:50+00:00)
Title: FLUID-5131: updated infusion

Updated Infusion and fixed up the exploration tool to work with it.