tree 81b9c8b8a1a1cc69d3e85fb7481e7844aa4db0fd
parent 442bead4a38cecb7f523e17a03df011028f1e925
parent 9c8351257569e3c79d1d900c16cf942a8183fe95
author Jan Tattermusch <jtattermusch@users.noreply.github.com> 1462334023 -0700
committer Jan Tattermusch <jtattermusch@users.noreply.github.com> 1462334023 -0700

Merge pull request #6375 from jtattermusch/cleanup_jenkins_directory

Cleanup tools/jenkins directory