marijnh/tern — pull request #438 by paulvi (2014-12-09 11:18:37+00:00)
Title: #424 plugins.json generated from metadata in tern.java

see discussion in https://github.com/angelozerr/tern.java/pull/190