diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-10-27 22:35:20 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-10-27 22:35:20 +0200 |
| commit | 16fe40a0c80a45795dcaa3988606fbdb613df9fb (patch) | |
| tree | eefef0f168726e0710b92210dba7a30048ad0e5e /src/include/platform.h | |
| parent | fbb58ad8790d514ff9cb53e3a10aa49ad2fa31dc (diff) | |
-fix test warnings
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions