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 |