diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-10-20 20:22:00 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-10-20 20:22:00 +0200 |
commit | 785bc590ce6be5e88624ba5bfc195ec040270d93 (patch) | |
tree | 01a6a0e020f105ddaa3e41af426342a27fa18347 /developers-manual.rst | |
parent | e127e9fe19fcc42555b1e9b3623667eb33e0f472 (diff) | |
download | docs-785bc590ce6be5e88624ba5bfc195ec040270d93.tar.gz docs-785bc590ce6be5e88624ba5bfc195ec040270d93.tar.bz2 docs-785bc590ce6be5e88624ba5bfc195ec040270d93.zip |
API enhancement for #6491
Diffstat (limited to 'developers-manual.rst')
0 files changed, 0 insertions, 0 deletions