about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-04-12T10·51+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-04-12T10·51+0000
commitf3660b1c8cba8e701689c82fc3fcaf3a3b8283da (patch)
tree3e921e95adb8941fd8eb82604e9f88a3232cdc84 /scripts
parentd5219a351af4429ce0ca339940b7ae81717df4a6 (diff)
* Garbage collector fix: allow deletion of paths that have invalid
  (but substitutable) referers.

Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions