update man

This commit is contained in:
Christian Grothoff 2020-03-22 12:06:13 +01:00
parent adef4a91ca
commit 9b470d2462
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

@ -1 +1 @@
Subproject commit ca53235ccfa0458ebf11c204888ca370e20ec3f5 Subproject commit eef86710c7deade01361f8985fd9a6fe6a21e8ff