diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-07-20 17:10:36 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-07-20 17:10:36 +0200 |
| commit | d103d7b1634bb24c73d51cb4f3fb4f24239dafde (patch) | |
| tree | 071027ceb090a91b5ea9e0fc1111963049796864 /doc/prebuilt | |
| parent | 827f65d997243fcb3e65a99dc2f373615ae74f68 (diff) | |
-new man page
Diffstat (limited to 'doc/prebuilt')
| m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject 6026efb59ef8c41e5b86e68332780d387fdaab0 +Subproject 47cd9e96ca2b3ff39db16e667fb9a6365297062 |