diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-06-29 11:24:14 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-06-29 11:24:14 +0200 |
| commit | d382adb2e36b16681052c7891a379f2995d3e520 (patch) | |
| tree | c6471af8311616d6c6dfd8d326a370b3e3b11e24 /src/exchange-tools/.gitignore | |
| parent | 70d9d0b94e7afd6336e51418103728652918cfaf (diff) | |
-actually fix compatibility break from Oec
Diffstat (limited to 'src/exchange-tools/.gitignore')
0 files changed, 0 insertions, 0 deletions