config: remove outdated docker file

checkstyle · Oct 22, 2022 · 30fdb36 · 30fdb36
1 parent f77013c
commit 30fdb36
Showing 1 changed file with 0 additions and 30 deletions.
diff --git a/config/Dockerfile b/config/Dockerfile