ninja-ide/ninja-ide — pull request #851 by diegosarmentero (2012-09-19 00:53:23+00:00)
Title: fixing split issue

fixing split issue