diff options
Diffstat (limited to 'build')
-rw-r--r-- | build/docker/old/ubuntu-disco/Dockerfile (renamed from build/docker/ubuntu-disco/Dockerfile) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/build/docker/ubuntu-disco/Dockerfile b/build/docker/old/ubuntu-disco/Dockerfile index 2e802e5ac..2e802e5ac 100644 --- a/build/docker/ubuntu-disco/Dockerfile +++ b/build/docker/old/ubuntu-disco/Dockerfile |