ninja-ide/ninja-ide — pull request #791 by diegosarmentero (2012-08-16 01:15:20+00:00)
Title: Fixed Issue #768

Fixed Issue #768