diff options
| author | jvoisin | 2020-11-06 16:51:41 +0100 |
|---|---|---|
| committer | jvoisin | 2020-11-06 16:51:41 +0100 |
| commit | 69459369754b07d3fa4379c2b60a5f8ba9fcd45d (patch) | |
| tree | d524bbf116122533bb0f8b30ec442b9849f32b1c /doc | |
| parent | 8470b432b50cc37d4b4782930476aa0acf137080 (diff) | |
Use proper prototype declaration
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions
