diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-07-24 12:43:33 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-24 12:43:33 +0200 |
| commit | d72816cfde668130a6f3c25d8be35232a4e92859 (patch) | |
| tree | 64f8c944022f4ba6ebd7eddb67c02c4f6076fcd4 /src/include/platform.h | |
| parent | 816ff63ab6c799288c33fc5baed70690130bb2b2 (diff) | |
fix #6431
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions