Remove outdated Docker files for now

They will be back in 0.7 updated and more integrated with CI build, see gh-79.
spring-attic · Apr 9, 2020 · 23d63b6 · 23d63b6
1 parent 322da12
commit 23d63b6
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 60 deletions.
diff --git a/Dockerfile b/Dockerfile
diff --git a/docker.sh b/docker.sh