tree 3e3b136f2f03f1941d0f280d16db7dde09e9067d
parent ed4e5f1f88e92245b577af600563c5b529fccb06
author Kasper Nilsson <kaspern@google.com> 1510621325 -0800
committer Kasper Nilsson <kaspern@google.com> 1512603197 +0000

Add codemirror-minified to WORKSPACE

Adding this dependency to WORKSPACE allows a plugin (codemirror-editor)
to load it in a descendant change.

Bug: Issue 4437
Change-Id: I6cf5a55a21c6e749215ef91e895554444e49b657