diff options
| author | jvoisin | 2025-10-28 23:13:42 +0100 |
|---|---|---|
| committer | jvoisin | 2025-10-28 23:13:42 +0100 |
| commit | 8a43ce98138d363b6595a16b98b6016c5e306191 (patch) | |
| tree | 2de12f64ed9bb15ef0a224b5085ce0ad4fa6a37e /.github | |
| parent | 89b628d34b1ef0423df35a72901daa194d7db956 (diff) | |
Use C90-compliant comments
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions