From 816c35d859275ac2b208a1e0d12c0cf4827d97cd Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Fri, 9 Jan 2026 14:41:53 +0100 Subject: [PATCH] Remove unneeded docker image --- Dockerfile | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index e51271b..0000000 --- a/Dockerfile +++ /dev/null @@ -1,5 +0,0 @@ -FROM git.janishutz.com/registry/latex-format:latest - -WORKDIR /root - -ENTRYPOINT [ "/root/entrypoint.sh" ]