diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-11-13 10:40:49 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-11-13 10:40:54 +0100 |
| commit | 2a8b351822734d7b028f4b7c62d219fe7cdc9564 (patch) | |
| tree | a4172b85eb989909eb87b806a9eac994c46ce8f9 /contrib/pp/en/0.pdf | |
| parent | 945821cbc842644f9d10de4ef36e8ef03d2d2253 (diff) | |
exchange API change for #7336
Diffstat (limited to 'contrib/pp/en/0.pdf')
0 files changed, 0 insertions, 0 deletions