diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-05-12 21:40:45 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-05-12 21:48:16 +0200 |
commit | 4b36b6c964a3739d02362616dc61bace3e84b4a3 (patch) | |
tree | edf6827875d1dc7738195d63a93686ffddddc99f /src | |
parent | 652659a8d4fdb762f5833349506a837183a749ab (diff) |
replace if with AS_IF (fixes #5709 for exchange)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions