diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-12-05T11·05+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-12-05T11·05+0000 |
| commit | cff6fd22ebfbfdbbda9b30c68cb61e25db718147 (patch) | |
| tree | c23d83656f72f4bc7097c4ba03fa54b853e3ef50 /scripts | |
| parent | feaab52203a51a4abec23f5d878f6f4dea29dcd5 (diff) | |
* Allow successors that don't exist but have a substitute.
* Integrity: check in successor / substitute registration whether the target path exists or has a substitute.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions