diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-13T10·43+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-13T10·43+0000 |
| commit | 1ad9d1124727dd48beaec36b006bba856350905d (patch) | |
| tree | 22775ab8f135fef1fc8633911bc053dca9f45b9f /src | |
| parent | 00fe1a506f045e612b0564ab0b5aff3917e26bd3 (diff) | |
* Only include predecessors that are themselves being pushed.
Otherwise the substitute mechanism can break in subtle ways.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions