remove useless docker files, keep directory clean

ESIPFed · Dec 4, 2018 · a229080 · a229080
1 parent 708dcce
commit a229080
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 108 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
diff --git a/docker/README.md b/docker/README.md
diff --git a/docker/db/Dockerfile b/docker/db/Dockerfile
diff --git a/docker/mysql-setup.sh b/docker/mysql-setup.sh
diff --git a/docker/mysql-user.sh b/docker/mysql-user.sh
diff --git a/docker/run.sh b/docker/run.sh
diff --git a/docker/tomcat/Dockerfile b/docker/tomcat/Dockerfile