ipython/ipython — pull request #3861 by minrk (2013-07-31 21:53:13+00:00)
Title: remove old external.js

this is unused and old, and we no longer ship custom minified-only js.