diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-09-26 14:24:33 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-09-26 14:24:33 +0200 |
| commit | e3564de010fd9f91540e136128643588e3ba4674 (patch) | |
| tree | 0c92018af761ff0cb0c41e5a96a2b5f0c673ef1e /src/include/platform.h | |
| parent | c8bdf5597a7b45c0c133e1d4a19e351cc781c868 (diff) | |
need status code for missing configuration option
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions