diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-25 19:12:44 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-25 19:12:44 +0200 |
| commit | 951ce5ef32b99012a5b0467e661bcb33d0c212c1 (patch) | |
| tree | e90ab924106d4d2b0518e949cef9b74c8f1c75c6 /src/exchange-tools | |
| parent | 6b615dcd9553b63f8ec345ab4d3e9f851b55b7aa (diff) | |
fix #4537
Diffstat (limited to 'src/exchange-tools')
0 files changed, 0 insertions, 0 deletions