ninja-ide/ninja-ide — pull request #430 by dawicorti (2012-04-02 13:45:00+00:00)
Title: correction of syntax error in highlighter

The old one was a merge fail ... sorry