Thomas Jahns 8ecbe1ce97 Fix incorrect argument in manual page. ...

Signed-off-by: Thomas Jahns <jahns@dkrz.de>

2020-02-21 11:25:38 +01:00

..

man3

Fix incorrect argument in manual page.

2020-02-21 11:25:38 +01:00