diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-04-26 17:09:57 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-04-26 17:09:57 +0200 |
| commit | 5c355bd27ce44e080effdf55fefc7a69aef2b127 (patch) | |
| tree | 9f8db030ccd190341bfbd12b8908517f3d1fccc9 /doc/prebuilt | |
| parent | 23c36cb44bbec66d2173ed49a6edb3fb45347001 (diff) | |
update prebuild man/info pages
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 488608716fcd0fa90013f7136cb4bee4822f972 +Subproject c9d78ec0f5c5935616cb12206bd616a0966ab0a |