chore(docker): remove erroneous extra copy

jef · Nov 28, 2022 · 9225582 · 9225582
1 parent 95f112c
commit 9225582
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -15,7 +15,6 @@ RUN npm ci
 
 COPY src/ src/
 COPY test/ test/
-COPY web/ web/
 RUN npm run compile
 RUN npm prune --production