diff options
| author | Mike McQuaid | 2016-11-10 16:29:00 +0000 |
|---|---|---|
| committer | GitHub | 2016-11-10 16:29:00 +0000 |
| commit | 988900709913d9c46e80a3493db0b9dcbff8264d (patch) | |
| tree | 04f308df5cc8084d0eaf5e94cff3376a854112a5 /Library/Homebrew/dev-cmd/pull.rb | |
| parent | 9a9ab929aedc71ad5182a5afc33a4b25747252db (diff) | |
| parent | 007002ad6fec88cdcd663e2c126c3192b8b0b355 (diff) | |
| download | brew-988900709913d9c46e80a3493db0b9dcbff8264d.tar.bz2 | |
Merge pull request #1466 from MikeMcQuaid/brew-rb-no-devcmdrun-fail
brew.rb: don't exit when failing to set devcmdrun.
Diffstat (limited to 'Library/Homebrew/dev-cmd/pull.rb')
0 files changed, 0 insertions, 0 deletions