diff options
| author | David Mehren | 2020-11-11 20:16:47 +0100 |
|---|---|---|
| committer | David Mehren | 2020-11-11 20:16:47 +0100 |
| commit | 056af03b7cd832265d68b6a7c95a1d277caaf612 (patch) | |
| tree | 58a7e778057fac0fff5549e4eb1e86c504a21943 /lib/workers | |
| parent | 46647170f323f38857fccf9cd1d3c5dd99259818 (diff) | |
Revert "Adjust webpack config to new code mirror version"
It turned out that we can't directly use the codemirror source files and actually need to run their build script manually.
This reverts commit 0ec180de
Signed-off-by: David Mehren <git@herrmehren.de>
Diffstat (limited to 'lib/workers')
0 files changed, 0 insertions, 0 deletions