diff options
| author | jvoisin | 2023-06-22 18:46:08 +0200 |
|---|---|---|
| committer | jvoisin | 2023-06-22 18:46:08 +0200 |
| commit | 44a71e36ed37781fa850662f479734cce1c354ce (patch) | |
| tree | 1cbd651379bdcaf7342174aa5527c32a422cc8af /.github | |
| parent | dad7183404977f02512898b030242a7c0a40051c (diff) | |
Add an annotation for fgets
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions