diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-17T10·58+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-17T10·58+0000 |
commit | cf705eaf78df646116f2fc14e6fa07d88f1607fe (patch) | |
tree | 7d4fdc12d93a011ded1e909cdd9d77a334ff2102 /INSTALL | |
parent | 7de5fe2fc2cf4ceafc421697ad0bfb0a6e2d994d (diff) |
* toString: don't copy paths. So toString can be used to pass
non-store paths to a builder.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions