diff options
| author | Mike McQuaid | 2016-08-16 14:31:50 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2016-08-16 14:31:50 +0100 |
| commit | 739881b482bf3b7219a141ef9ec5b756d482b93a (patch) | |
| tree | c5a66ec72f6d75ea46516bfe21c6cff3f6100670 /Library/Homebrew/dev-cmd | |
| parent | 984ed836bd803e872a14cd32be5b0690a635274f (diff) | |
| download | brew-739881b482bf3b7219a141ef9ec5b756d482b93a.tar.bz2 | |
diagnostic: don't barf if HEAD is also a file.
Closes #694.
Diffstat (limited to 'Library/Homebrew/dev-cmd')
0 files changed, 0 insertions, 0 deletions