ninja-ide/ninja-ide — pull request #272 by diegosarmentero (2012-02-20 17:16:47+00:00)
Title: Adding minimap to NINJA-IDE

Adding minimap to NINJA-IDE