ninja-ide/ninja-ide — Issue #129: Unload project info from code locator
Author: diegosarmentero
Created: 2011-12-28 21:49:37+00:00
State: open

Unload project info from code locator when a project is closed