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 /scripts | |
| parent | 7de5fe2fc2cf4ceafc421697ad0bfb0a6e2d994d (diff) | |
* toString: don't copy paths. So toString can be used to pass
non-store paths to a builder.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions