diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-08-11T19·03+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-08-11T19·03+0000 |
commit | 62fe5c4a22453c763e967f04bda062df8241c487 (patch) | |
tree | 60697c4c48402fb3f7b32260e19420edd973cff9 /scripts | |
parent | ae1a1efa410fa66a0afbfae25ad423feee4b1e77 (diff) |
* The predecessor of a successor need not be present. This in
particular happens on distributed builds or when using push/pull.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions