diff options
| author | Remi Collet <remi@php.net> | 2014-02-28 08:12:03 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2014-02-28 08:12:03 +0100 |
| commit | b1df743b7a9da1b84d5af8dfb430a98022009cd8 (patch) | |
| tree | 349af9de80ab71fa23aac9cff29620194d8407bb /ext | |
| parent | c73b0543f13a8c63eb3e17808b5085d39d8f05d1 (diff) | |
| download | php-git-b1df743b7a9da1b84d5af8dfb430a98022009cd8.tar.gz | |
man page: long option name is --strip, not --stripped
Diffstat (limited to 'ext')
0 files changed, 0 insertions, 0 deletions
