diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-18 14:24:55 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-18 14:24:55 +0100 |
| commit | 5583b7a0595fe5c91943419ea46260fe7f7b9e9c (patch) | |
| tree | a5de4293c8c008d6bafefe303d0036cd2603e62d /src/include/platform.h | |
| parent | 5146d62b14e7d4c14da6fe5c891ce27232082cbd (diff) | |
libraries were folded, fold headers as well
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions