From a520ad0fc385bb80bf3ed1f994230ab4ed2a044f Mon Sep 17 00:00:00 2001
From: Christian Clason <c.clason@uni-graz.at>
Date: Thu, 27 Aug 2026 12:03:15 +0200
Subject: [PATCH] chore: remove .dockerignore

Fixup for #5872, which missed the hidden file.
---
 .dockerignore | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 .dockerignore

diff --git a/.dockerignore b/.dockerignore
deleted file mode 100644
index c7f83c2c5..000000000
--- a/.dockerignore
+++ /dev/null
@@ -1,2 +0,0 @@
-target
-.git