diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-05-12 21:33:55 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-05-12 21:48:16 +0200 |
| commit | 335f82d081506194b451f7131f2083b368203b7a (patch) | |
| tree | 681df631c7b5fb7a70edab536bd36998dd750c39 /src/exchange-tools/Makefile.am | |
| parent | 081280a88bfd833187dd8996e6482327c74dde8b (diff) | |
replace if with AS_IF (#5709, wip)
Diffstat (limited to 'src/exchange-tools/Makefile.am')
0 files changed, 0 insertions, 0 deletions