diff options
| author | Mike McQuaid | 2017-08-26 14:50:55 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2017-08-26 14:50:55 +0100 |
| commit | db41f9d1182ff8c4c3b42b458e38d5c58b496ffb (patch) | |
| tree | 7cc8b64c35ee500990034b52dd0940718b80a93b /Library/Homebrew/dev-cmd | |
| parent | cb5b14307ca4640e1ba68cfd28e7fef34a3b771b (diff) | |
| download | brew-db41f9d1182ff8c4c3b42b458e38d5c58b496ffb.tar.bz2 | |
diagnostic: also don't check Jenkins core branch.
Diffstat (limited to 'Library/Homebrew/dev-cmd')
0 files changed, 0 insertions, 0 deletions