[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26139: [PATCH] doc: document the option delimiter '--'
|
From: |
Bernhard Voelker |
|
Subject: |
bug#26139: [PATCH] doc: document the option delimiter '--' |
|
Date: |
Fri, 13 Oct 2017 08:34:14 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 |
On 03/17/2017 11:42 AM, Bernhard Voelker wrote:
> [...]
ping? I don't have permissions to push at 'grep.git', so someone
else needs to do this, thanks.
Have a nice day,
Berny
- bug#26139: [PATCH] doc: document the option delimiter '--',
Bernhard Voelker <=