diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-15 17:34:06 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-15 17:34:06 +0200 |
| commit | 806a6b99cf140aafa9ac448d76635ae045350246 (patch) | |
| tree | 59f1eb3709e3d4fedaf7da8456920f46f148eec7 /ot_vector.h | |
| parent | a6c47663482479fbad3153a7a9d4dc9f07e11688 (diff) | |
time_caching_worker never returns, but if it would, it should return a value
Diffstat (limited to 'ot_vector.h')
0 files changed, 0 insertions, 0 deletions