diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-08-08 23:34:34 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-08-08 23:34:40 +0200 |
| commit | b436d9a7de2ad077b4e87cb6f82d3dc98f32316c (patch) | |
| tree | 2af055071a0f17b61f2a1345a1bdadb6c7168714 /doc | |
| parent | 73c8bda4b065314456740eb14afcf090f4d829a5 (diff) | |
adapt to exchange DEPOSIT -> AGGREGATE rename
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions