diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-04-11 02:37:56 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-04-11 02:37:56 +0200 |
commit | b018d4d5b0798bdad6002cb7bbd246247b3ebd4f (patch) | |
tree | debd0b6432d7bdfb67cde6c5bbba27efd9c884b5 /src/exchange-tools | |
parent | 30d66bcebc27a1cdcbad39ddbeeaf047da6cc1dd (diff) |
implementing #4357, but test missing
Diffstat (limited to 'src/exchange-tools')
0 files changed, 0 insertions, 0 deletions