fix #4536
authorChristian Grothoff <christian@grothoff.org>
Wed, 25 May 2016 19:04:59 +0000 (19:04 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 25 May 2016 19:04:59 +0000 (19:04 +0000)
commit33581f6d09c55f4848adf44fb2aa77674052de58
tree6bbdae9e14058f31f6ff16695215e5075e4c4641
parent4ed6ea74cc5ee8cdb7b31252ea86570be8268dde
fix #4536
doc/man/gnunet-arm.1