diff options
| author |  Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2015-07-08 21:25:53 -0700 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2015-07-08 21:25:53 -0700 |
| commit | 7dbb4fc05ded49169c46bf25ba2aee5024a0f2fd (patch) | |
| tree | c8e28dc4b0e84439419b2d4ad3eb5bc9087d75e8 /tools/distrib | |
| parent | fb583d261dda8bc0078aa09c5906e5e43068460a (diff) | |
| parent | 862c8976e19b2e1db107759b4f6cf07b5b2f06e5 (diff) | |
Merge pull request #2259 from nicolasnoble/creating-a-jenkins-branch
Creating a branch during the Jenkins build to silence a warning.
Diffstat (limited to 'tools/distrib')
0 files changed, 0 insertions, 0 deletions