summaryrefslogtreecommitdiff
path: root/ifpps/.gitignore
diff options
context:
space:
mode:
authorPetr Machata <petrm@mellanox.com>2019-10-01 16:40:10 +0000
committerTobias Klauser <tklauser@distanz.ch>2019-10-04 10:22:48 +0200
commit0bdd9e1b61534f099ba2a13f8143632a47bf8c27 (patch)
treedebf5a0ac882be8e17eef1e268aeedce3abe1261 /ifpps/.gitignore
parent500e708bfba7b2ccd2a3b687a2c3aef72cfbbe8e (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 'ifpps/.gitignore')
0 files changed, 0 insertions, 0 deletions