diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-31 12:59:50 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-31 12:59:50 +0100 |
| commit | 385b3e77dfa1b6bbaee5d0ec9da9bcbd69e91b70 (patch) | |
| tree | 61550b547a56179e6abac9bee3502ecc5c537fa8 /src/include/platform.h | |
| parent | 325aaddbd6612c3baa56d01f6777faf77d082588 (diff) | |
tighten formatting rules
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions