From ce80ddfaa47dd79ab59cdfcb6f672efd621dc5b7 Mon Sep 17 00:00:00 2001 From: Sebastian Di Luzio Date: Thu, 17 Apr 2025 19:00:37 +0200 Subject: [PATCH] build(docker): remove seemingly unnecessary files --- Dockerfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index a0826a0d5..2a0d10eba 100644 --- a/Dockerfile +++ b/Dockerfile @@ -19,7 +19,6 @@ RUN apt-get update && apt-get install -y\ COPY ./CMakeLists.txt ./LICENSE ./README.md /home/servatrice/code/ COPY ./cmake /home/servatrice/code/cmake COPY ./common /home/servatrice/code/common -COPY ./dbconverter /home/servatrice/code/dbconverter COPY ./servatrice /home/servatrice/code/servatrice WORKDIR /home/servatrice/code