diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-10-29 16:15:00 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-10-29 16:15:00 +0100 |
| commit | 342f8cbf12ba2516428ef58d2f00b664f9738639 (patch) | |
| tree | 6940a4a08c094094576a2af825145fb30ff08bfe /src/exchange-tools/Makefile.am | |
| parent | bdff229e8d3a21d70f3326bfebd7ab334bb53647 (diff) | |
no more decimal separator
Diffstat (limited to 'src/exchange-tools/Makefile.am')
0 files changed, 0 insertions, 0 deletions