Streamline how we build CodeMirror in dist/ so things get bundled, part of #634#636

Merged

humphd merged 3 commits intomozilla:masterfrom humphd:codemirror-minify

Mar 14, 2017

+17-17

Commits on Mar 13, 2017

Streamline how we build CodeMirror in dist/ so things get bundled, part of mozilla#634
humphd
committed
Add back copy.thirdparty task, but just for less.min.js
humphd
committed

Commits on Mar 14, 2017

Add back src/thirdparty/CodeMirror copy task on install
humphd
committed