diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-05-12 21:37:13 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-05-12 21:48:16 +0200 |
| commit | 5740f5b63921c3a4012007f84da2670634b7d28a (patch) | |
| tree | a8091b48ae5a5f4a1c6b9661a6d648fd961836e4 /src | |
| parent | 335f82d081506194b451f7131f2083b368203b7a (diff) | |
replace if with AS_IF (#5709, wip)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions