diff options
author | Jiayu Liu <Jimexist@users.noreply.github.com> | 2022-09-17 15:10:55 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-17 15:10:55 +0800 |
commit | 7909e5c9dfa470861f70a16b5770ceede9800134 (patch) | |
tree | 749634f8deecf0f1dc06b8bc128628578d679dd1 /build | |
parent | 2d2790f48c2e048a2fe3e96916768b68d198da79 (diff) | |
download | thrift-7909e5c9dfa470861f70a16b5770ceede9800134.tar.gz |
move ubuntu disco to old folder (#2663)
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 |