Remove unneeded docker image

This commit is contained in:
2026-01-09 14:41:53 +01:00
parent b74ba36d0f
commit 816c35d859

View File

@@ -1,5 +0,0 @@
FROM git.janishutz.com/registry/latex-format:latest
WORKDIR /root
ENTRYPOINT [ "/root/entrypoint.sh" ]