ninja-ide/ninja-ide — pull request #102 by carpincho (2011-12-03 14:53:40+00:00)
Title: Bug Fixed Issue 101

issue: https://github.com/ninja-ide/ninja-ide/issues/101