angelozerr/tern.java — pull request #199 by paulvi (2014-12-11 05:24:46+00:00)
Title: rename to Tern Toolings

just like in https://github.com/angelozerr/tern.java/wiki/Tern-Toolings

also now this feature will appear the last in the list.