[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #39444] Document group-separator, no-group-separator options
From: |
Jaroslav Škarvada |
Subject: |
[bug #39444] Document group-separator, no-group-separator options |
Date: |
Tue, 09 Jul 2013 09:19:14 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:21.0) Gecko/20100101 Firefox/21.0 |
URL:
<http://savannah.gnu.org/bugs/?39444>
Summary: Document group-separator, no-group-separator options
Project: grep
Submitted by: yarda
Submitted on: Tue 09 Jul 2013 09:19:13 AM GMT
Category: None
Severity: 3 - Normal
Item Group: None
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
I think these options should be documented in both man and built-in help.
Proposed patch is attached, feel free to change.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Tue 09 Jul 2013 09:19:13 AM GMT Name:
0001-doc-documented-group-separator-no-group-separator.patch Size: 2kB By:
yarda
<http://savannah.gnu.org/bugs/download.php?file_id=28515>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?39444>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #39444] Document group-separator, no-group-separator options,
Jaroslav Škarvada <=