diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2014-04-16 20:02:08 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2014-04-16 20:02:08 +0200 |
| commit | 875e7d2c8cc671932857320839af23ce2c141c0d (patch) | |
| tree | 1d82980e43ec22182d4f6a5609525982ce0578a8 /debian/files | |
| parent | eb87d5dee176f8d7057d05d24302040ab1b56768 (diff) | |
Note GREP_OPTIONS in man page.
Diffstat (limited to 'debian/files')
0 files changed, 0 insertions, 0 deletions