diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-01-16 18:16:41 +0100 |
|---|---|---|
| committer | Gian Demarmels <gian@demarmels.org> | 2022-02-04 15:37:32 +0100 |
| commit | 3510f953b02e3ba0f42e1539c8151e73dfe2898b (patch) | |
| tree | 49a798c4dd602d748183bc05fa94149b78528b65 /src/include | |
| parent | 8d85c8b5b6c514ce093d856a2e4b931b4108ece5 (diff) | |
-make picky gcc happy
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions