diff options
| author | Mike McQuaid | 2017-02-13 08:32:54 +0000 |
|---|---|---|
| committer | GitHub | 2017-02-13 08:32:54 +0000 |
| commit | 75bdded6f21d65664fc59e2703628a2ffef992b2 (patch) | |
| tree | 68ae96381a2a5e5d07b7bc54fa33af45c4fb0ce3 /Library/Homebrew/dev-cmd/pull.rb | |
| parent | 7281cfaf63e45f8e4e46340d724926d0adbd7ccc (diff) | |
| parent | e07a587f42abcf107866f0937643b1a261adf185 (diff) | |
| download | brew-75bdded6f21d65664fc59e2703628a2ffef992b2.tar.bz2 | |
Merge pull request #1994 from MikeMcQuaid/prefix-opt
--prefix: use opt_prefix when available.
Diffstat (limited to 'Library/Homebrew/dev-cmd/pull.rb')
0 files changed, 0 insertions, 0 deletions