diff options
| author | Mike McQuaid | 2016-11-26 17:26:55 +0000 |
|---|---|---|
| committer | GitHub | 2016-11-26 17:26:55 +0000 |
| commit | e4656709425d35a4b15d77cad7d7fa7a4eba8356 (patch) | |
| tree | dfc674af1bcddeca61232f3befa2a070e5755e5e /docs | |
| parent | 78fdb470cbf09e78b302e8f1bfe929d356a02de0 (diff) | |
| parent | e330047ff9881eee9cbad8828ed1ef2f16b3050e (diff) | |
| download | brew-e4656709425d35a4b15d77cad7d7fa7a4eba8356.tar.bz2 | |
Merge pull request #1579 from MikeMcQuaid/doctor-allow-jenkins
diagnostic: silence a Jenkins doctor warning.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions