ninja-ide/ninja-ide-web — pull request #4 by malderete (2011-11-28 21:32:39+00:00)
Title: Oficial plugins updates!

Changes in the JSON file for oficial plugins. New github urls in the file.