Closed Rulox closed 4 years ago
There is a return preventing the "js" gulp task to be completed.
https://github.com/moxie-lean/Lean/blob/master/gulpfile.js#L92
There is a return preventing the "js" gulp task to be completed.
https://github.com/moxie-lean/Lean/blob/master/gulpfile.js#L92