From 18455920d125a455fe46cacc125ffd8fb4b30797 Mon Sep 17 00:00:00 2001
From: Tobias Springer <tobias.springer1@gmail.com>
Date: Sat, 9 May 2020 17:14:07 +0200
Subject: [PATCH] Provide source maps since the game is public now anyways

---
 gulp/webpack.production.config.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gulp/webpack.production.config.js b/gulp/webpack.production.config.js
index a48f20e5..7b740561 100644
--- a/gulp/webpack.production.config.js
+++ b/gulp/webpack.production.config.js
@@ -42,7 +42,6 @@ module.exports = ({
 
     return {
         mode: "production",
-        devtool: false,
         entry: {
             "bundle.js": [path.resolve(__dirname, "..", "src", "js", "main.js")],
         },
@@ -60,6 +59,7 @@ module.exports = ({
             // Display bailout reasons
             optimizationBailout: true,
         },
+        devtool: "source-map",
         resolve: {
             alias: {
                 "global-compression": path.resolve(__dirname, "..", "src", "js", "core", "lzstring.js"),