diff options
| author | Mike McQuaid | 2016-09-08 20:46:18 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2016-09-08 20:46:37 +0100 |
| commit | 86bfd36af27d4539ff4ac6247942856cb5015b2b (patch) | |
| tree | db60532e64c6b5ecfc46d0b2fb5f4b46f858ddf4 /Library/Homebrew/dev-cmd/pull.rb | |
| parent | af8605ea4ba1d9856c055c8c76b447e030540e3f (diff) | |
| download | brew-86bfd36af27d4539ff4ac6247942856cb5015b2b.tar.bz2 | |
Don't hide some (now) developer commands.
Diffstat (limited to 'Library/Homebrew/dev-cmd/pull.rb')
| -rw-r--r-- | Library/Homebrew/dev-cmd/pull.rb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Library/Homebrew/dev-cmd/pull.rb b/Library/Homebrew/dev-cmd/pull.rb index 341eed34a..e18bf1c2f 100644 --- a/Library/Homebrew/dev-cmd/pull.rb +++ b/Library/Homebrew/dev-cmd/pull.rb @@ -1,10 +1,8 @@ -#: @hide_from_man_page #: `pull` [`--bottle`] [`--bump`] [`--clean`] [`--ignore-whitespace`] [`--resolve`] [`--branch-okay`] [`--no-pbcopy`] [`--no-publish`] <patch-source> [<patch-source>] #: #: Gets a patch from a GitHub commit or pull request and applies it to Homebrew. #: Optionally, installs the formulae changed by the patch. #: -#: #: Each <patch-source> may be one of: #: * The ID number of a PR (Pull Request) in the homebrew/core GitHub #: repository |