diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2018-05-17 06:41:09 -0700 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2018-05-17 06:44:02 -0700 |
| commit | b4a103e5becddfd370a3d4a424f72db4ff15d4b8 (patch) | |
| tree | bed5cf7e205de074fafe5928e8d182e2a9deed8a /tools/internal_ci/linux/run_if_c_cpp_modified.sh | |
| parent | 2c773d4c67d27d891e965f5bb46b2d897e8333ae (diff) | |
delete the tools/jenkins directory
Diffstat (limited to 'tools/internal_ci/linux/run_if_c_cpp_modified.sh')
0 files changed, 0 insertions, 0 deletions