diff options
| author | erdgeist <> | 2008-12-07 03:50:51 +0000 |
|---|---|---|
| committer | erdgeist <> | 2008-12-07 03:50:51 +0000 |
| commit | c6947b160f99278057df0770b849b46264b72229 (patch) | |
| tree | 8c5e543648458f7368d51906c53a9e1b45a8c364 /ot_vector.h | |
| parent | ad8c9ee1efac171e5f3a8f41a630254ac88357a8 (diff) | |
Handle program end more politely
Diffstat (limited to 'ot_vector.h')
0 files changed, 0 insertions, 0 deletions