diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-12T10·51+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-12T10·51+0000 |
| commit | f3660b1c8cba8e701689c82fc3fcaf3a3b8283da (patch) | |
| tree | 3e921e95adb8941fd8eb82604e9f88a3232cdc84 /src/boost/checked_delete.hpp | |
| parent | d5219a351af4429ce0ca339940b7ae81717df4a6 (diff) | |
* Garbage collector fix: allow deletion of paths that have invalid
(but substitutable) referers.
Diffstat (limited to 'src/boost/checked_delete.hpp')
0 files changed, 0 insertions, 0 deletions