diff options
| author | Mike McQuaid | 2017-12-30 21:18:02 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2017-12-30 21:18:02 +0000 |
| commit | 799312c5fc45b24ef38e31e54f43e385ad412d53 (patch) | |
| tree | 6da2328c41e96cf3292c14348bb861a7b164d137 /Library/Homebrew/dev-cmd | |
| parent | 176ed97d4241ae673f8d7ef1daa43efa1695d06f (diff) | |
| download | brew-799312c5fc45b24ef38e31e54f43e385ad412d53.tar.bz2 | |
missing_formula: check deleted in the last month.
This speeds things up pretty dramatically and handles the case that
something was deleted recently and users haven't learned about it yet.
Fixes #3513.
Diffstat (limited to 'Library/Homebrew/dev-cmd')
0 files changed, 0 insertions, 0 deletions