scala-js/scala-js — pull request #586 by sjrd (2014-05-02 14:20:17+00:00)
Title: Fix #565: Move corejslib.js as a resource for the tools.

This simplifies the tools API.