about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-24T09·24+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-24T09·24+0000
commitc9cb1fa21f4454a214f4cd62aef2ccc35a8f89af (patch)
tree06267c121d7e284f2c58886fca2bbb766ac95b14 /scripts
parent60e86b124f09763b1f0f55fc4c635a255bd028d2 (diff)
* Bug fix in path invalidation.
* More consistency checks.

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