diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-12-14T22·41+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-12-14T22·41+0000 |
commit | 893cac140232478e3ce9640ccf31dbfbfc2434c0 (patch) | |
tree | 5965f7368afbadc28f70a768e774e5574987b5c6 /misc | |
parent | 23bf700196b4fa05a2da55798644f8adc2e1d7b1 (diff) |
* Remove the terminate handler, which was only really needed because
of Berkeley DB (see r8632).
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions