diff options
| author | dzwdz | 2021-09-05 19:04:21 +0200 |
|---|---|---|
| committer | dzwdz | 2021-09-05 19:04:21 +0200 |
| commit | e447090093a01fea0b27c4340fcb54bbf9ae3396 (patch) | |
| tree | 5a9b6e120caa68f9a6f505499bb1a67fa352ee68 /src/kernel/util.c | |
| parent | 252f5e40c1c054e6ad52a413567460f3ed2917f4 (diff) | |
error out when <*/types.h> isn't included in headers which need it
Diffstat (limited to 'src/kernel/util.c')
0 files changed, 0 insertions, 0 deletions