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 /externals | |
| parent | 23bf700196b4fa05a2da55798644f8adc2e1d7b1 (diff) | |
* Remove the terminate handler, which was only really needed because
of Berkeley DB (see r8632).
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions