diff options
author | Devan Carpenter <git@dvn.me> | 2018-12-23 03:45:56 -0600 |
---|---|---|
committer | Devan Carpenter <git@dvn.me> | 2018-12-23 03:45:56 -0600 |
commit | 46ca89d186871dd5d3e31433bc0997e0cbb61d0f (patch) | |
tree | 74a74e3b802ec7db68dcc4d3dce41295e41b8941 | |
parent | d37218d0b13292b78fcfc08d2903d6e415da0236 (diff) | |
download | gnunet-46ca89d186871dd5d3e31433bc0997e0cbb61d0f.tar.gz gnunet-46ca89d186871dd5d3e31433bc0997e0cbb61d0f.zip |
contrib: Move Dockerfile to appropriate dir
Dockerfile was moved into the root directory incorrectly.
This commit moves it into the "docker" directory, alongside its
associated assets.
-rw-r--r-- | contrib/docker/Dockerfile (renamed from contrib/Dockerfile) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/Dockerfile b/contrib/docker/Dockerfile index 4fdd91f60..4fdd91f60 100644 --- a/contrib/Dockerfile +++ b/contrib/docker/Dockerfile | |||