Re: [PEAR-DEV] New role=man for manpages :]
[email protected] (Remi Collet) Tue, 18 Jun 2013 16:33:32 +0200
| Newsgroups | php.pear.dev |
|---|---|
| Message-ID | <[email protected]> |
Le 25/03/2013 00:14, Daniel O'Connor a écrit : > Chuck it into a PR; I'll apply. Finally... https://github.com/pear/pear-core/pull/14 This include the patch proposal from Hannes. Minor fix The man pages for the provided commands. The pear man page is a first try which can probably be improved. Remi.