diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-18 17:39:51 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-18 17:39:51 +0200 |
commit | b01f1a0723c3c3a9e33a1b97bf9b3c4db5db7880 (patch) | |
tree | 94d938f00420f0d8ac1df66ee7f7aef365f40e4c /ot_vector.h | |
parent | dcc47f9612577ff4109f9448f08641eff5284baa (diff) |
Some fixes to the man page
Diffstat (limited to 'ot_vector.h')
0 files changed, 0 insertions, 0 deletions