ninja-ide/ninja-ide — pull request #83 by diegosarmentero (2011-11-27 03:15:11+00:00)
Title: Profile Manager feature complete.

Profile Manager feature complete.