diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-09T15·02+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-09T15·02+0000 |
commit | 2b95a9dc05d0a943859ba92bb301c294473758f1 (patch) | |
tree | 7eb1a6af395553a2c9af6a072820bcaf3f040e76 /src/archive.hh | |
parent | 9a99dc736d814f41d2b3ceb92da2435ae2dd5632 (diff) |
* When computing the set of paths referenced by an expression, also
include the paths of the subterms.
Diffstat (limited to 'src/archive.hh')
0 files changed, 0 insertions, 0 deletions