diff options
author | Reverite <github@reverite.sh> | 2019-08-20 10:46:41 -0600 |
---|---|---|
committer | Reverite <github@reverite.sh> | 2019-08-20 10:46:41 -0600 |
commit | d2c357ba86b1a9d1b7b4c291e1c55811997027ed (patch) | |
tree | 229bd4223833900f11701fb232f6ea7b2e4160f1 /config/webpack/development.js | |
parent | 2e221bd5b6472d1eecb654b3518af7886d3dadaf (diff) | |
parent | bce46f2057b06e78958a42821f3ce18c945de88d (diff) |
Merge branch 'glitch' into production
Diffstat (limited to 'config/webpack/development.js')
-rw-r--r-- | config/webpack/development.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/webpack/development.js b/config/webpack/development.js index 1e50a4f46..56f6e43f0 100644 --- a/config/webpack/development.js +++ b/config/webpack/development.js @@ -56,5 +56,6 @@ module.exports = merge(sharedConfig, { settings.dev_server.watch_options, watchOptions ), + writeToDisk: filePath => /ocr/.test(filePath), }, }); |