ninja-ide/ninja-ide — pull request #717 by diegosarmentero (2012-07-08 22:53:49+00:00)
Title: shortcuts for human beings

shortcuts for human beings