diff options
| author | nicolargo <nicolas@nicolargo.com> | 2018-01-24 20:58:33 +0100 |
|---|---|---|
| committer | nicolargo <nicolas@nicolargo.com> | 2018-01-24 20:58:33 +0100 |
| commit | 524babd3d7cb574409baaedc41098be592fa5122 (patch) | |
| tree | 3b603a3394df8ebc0f306f38114c4b07c23be612 | |
| parent | 229e8f36976c281fe14ff02bdbc474ac46a777d7 (diff) | |
Rename docker folder to docker-files because import docker return always true...
| -rw-r--r-- | docker-files/devel/Dockerfile (renamed from docker/devel/Dockerfile) | 0 | ||||
| -rw-r--r-- | docker-files/master/Dockerfile (renamed from docker/master/Dockerfile) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/docker/devel/Dockerfile b/docker-files/devel/Dockerfile index 8ca70f45..8ca70f45 100644 --- a/docker/devel/Dockerfile +++ b/docker-files/devel/Dockerfile diff --git a/docker/master/Dockerfile b/docker-files/master/Dockerfile index c907b327..c907b327 100644 --- a/docker/master/Dockerfile +++ b/docker-files/master/Dockerfile |