about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-02-13T10·43+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-02-13T10·43+0000
commit1ad9d1124727dd48beaec36b006bba856350905d (patch)
tree22775ab8f135fef1fc8633911bc053dca9f45b9f /src
parent00fe1a506f045e612b0564ab0b5aff3917e26bd3 (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