Merge pull request protocolbuffers#4442 from xfxyjwf/clean

Delete unused directories.
lehrblogger · Mar 28, 2018 · 59c4328 · 59c4328
2 parents d3d7cdb + 107cd70
commit 59c4328
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 692 deletions.
diff --git a/jenkins/README.md b/jenkins/README.md
diff --git a/jenkins/build_and_run_docker.sh b/jenkins/build_and_run_docker.sh
diff --git a/jenkins/buildcmds/README.md b/jenkins/buildcmds/README.md
diff --git a/jenkins/buildcmds/pull_request.sh b/jenkins/buildcmds/pull_request.sh
diff --git a/jenkins/buildcmds/pull_request_32.sh b/jenkins/buildcmds/pull_request_32.sh
diff --git a/jenkins/docker/Dockerfile b/jenkins/docker/Dockerfile