Move Dockerfile to project root.

This allows shorter builds for checked out repositories (docker build .) as well as convenient builds off of the git repo (docker build <git url>). See issue #41 for more details.
metio · Sep 12, 2024 · 7f93b96 · 7f93b96
1 parent 9786797
commit 7f93b96
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/contrib/Dockerfile → Dockerfile b/contrib/Dockerfile → Dockerfile