From 86bfd36af27d4539ff4ac6247942856cb5015b2b Mon Sep 17 00:00:00 2001
From: Mike McQuaid
Date: Thu, 8 Sep 2016 20:46:18 +0100
Subject: Don't hide some (now) developer commands.

---
 Library/Homebrew/dev-cmd/pull.rb | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Library/Homebrew/dev-cmd/pull.rb')

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
-- 
cgit v1.2.3