Removed unused docker files

- Before 2023 they were used for builds on Jenkins, but we don't use them any more. Signed-off-by: David Matějček <david.matejcek@omnifish.ee>
eclipse-ee4j · Jan 25, 2023 · 4e6a267 · 4e6a267
1 parent d2a5f40
commit 4e6a267
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 188 deletions.
diff --git a/etc/docker-jdk17/Dockerfile b/etc/docker-jdk17/Dockerfile
diff --git a/etc/docker-jdk17/Makefile b/etc/docker-jdk17/Makefile
diff --git a/etc/docker-jdk17/entrypoint.sh b/etc/docker-jdk17/entrypoint.sh
diff --git a/etc/docker/.dockerignore b/etc/docker/.dockerignore
diff --git a/etc/docker/.gitignore b/etc/docker/.gitignore
diff --git a/etc/docker/Dockerfile b/etc/docker/Dockerfile
diff --git a/etc/docker/Makefile b/etc/docker/Makefile
diff --git a/etc/docker/entrypoint.sh b/etc/docker/entrypoint.sh