-update man pages

This commit is contained in:
Christian Grothoff 2023-07-15 19:11:24 +02:00
parent 3976729af1
commit 22ad41a2b4
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

@ -1 +1 @@
Subproject commit db8444916b056cce401ff62a05512e82bd9e4e64 Subproject commit 02380e2e7318c7fd75fcfe7b03d1596b56c8d505