diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-05-13 22:17:30 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-05-13 22:17:30 +0200 |
| commit | 8bdcc70e25483b96a35952c803d36d6b03166ef9 (patch) | |
| tree | 96dac190ef56d00afb65100a0872b4c88fad042e /manpages | |
| parent | 1a116c0a72fcbab8eec513771ec1d4413ced44c8 (diff) | |
| download | docs-8bdcc70e25483b96a35952c803d36d6b03166ef9.tar.gz docs-8bdcc70e25483b96a35952c803d36d6b03166ef9.tar.bz2 docs-8bdcc70e25483b96a35952c803d36d6b03166ef9.zip | |
document API change for #7837
Diffstat (limited to 'manpages')
0 files changed, 0 insertions, 0 deletions