diff options
| author | Mike McQuaid | 2017-02-12 16:17:56 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2017-02-12 16:17:56 +0000 |
| commit | e07a587f42abcf107866f0937643b1a261adf185 (patch) | |
| tree | 4531dc0fcefab0f92334225826af79337a3ce422 /Library/Homebrew/dev-cmd/pull.rb | |
| parent | fdea0b2f3aac60e14ffa42c6a070c4edca8ca056 (diff) | |
| download | brew-e07a587f42abcf107866f0937643b1a261adf185.tar.bz2 | |
--prefix: use opt_prefix when available.
Fixes #1952.
Diffstat (limited to 'Library/Homebrew/dev-cmd/pull.rb')
0 files changed, 0 insertions, 0 deletions