diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-04-23 11:59:12 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-04-23 11:59:12 +0200 |
| commit | 0774fd7020a4f70beb13ddf668686c44f8ebb84c (patch) | |
| tree | 6caac9d24c4d566fd06f2ab177549e5b4a585106 /src/include/platform.h | |
| parent | 727eccbe644aede46ef5eafc11964992960457e0 (diff) | |
fix #6213
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions