ninja-ide/ninja-ide — pull request #687 by diegosarmentero (2012-07-01 03:40:11+00:00)
Title: allow linking to other projects, and unload unnecesary modules.

allow linking to other projects, and unload unnecesary modules.