diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-05-01 12:43:05 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-05-01 12:43:05 +0200 |
commit | 9f12faa11c8d356a90139c0ed7046223dd8cb6eb (patch) | |
tree | 14f39aca32cd96021738e5f8220317ddfd7ce287 /exchange-db-generate.sh | |
parent | 3fb8353285c3a9c9dd5be2801cf9134f340489d8 (diff) | |
download | docs-9f12faa11c8d356a90139c0ed7046223dd8cb6eb.tar.gz docs-9f12faa11c8d356a90139c0ed7046223dd8cb6eb.tar.bz2 docs-9f12faa11c8d356a90139c0ed7046223dd8cb6eb.zip |
address #5987-15826, subpoints #4/#5
Diffstat (limited to 'exchange-db-generate.sh')
0 files changed, 0 insertions, 0 deletions