diff options
| author | Petr Machata <petrm@mellanox.com> | 2019-10-01 16:40:10 +0000 |
|---|---|---|
| committer | Tobias Klauser <tklauser@distanz.ch> | 2019-10-04 10:22:48 +0200 |
| commit | 0bdd9e1b61534f099ba2a13f8143632a47bf8c27 (patch) | |
| tree | debf5a0ac882be8e17eef1e268aeedce3abe1261 /.gitattributes | |
| parent | 500e708bfba7b2ccd2a3b687a2c3aef72cfbbe8e (diff) | |
mausezahn.8: Document -r
This option is mentioned further in the man page, but is omitted in the
main section. Add it.
Signed-off-by: Petr Machata <petrm@mellanox.com>
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions