diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-03T14·55+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-03T14·55+0000 |
commit | d20c3011a06a49d229c92c49447eb21b5a1f110d (patch) | |
tree | e1850df03fe0f5fdd4f956949f9219b67b20b75b /doc/manual | |
parent | 84e6c43e85cab83ee033bf13c1e58c0f30ca1de9 (diff) |
* toFile: added an additional argument to specify the store path
suffix, e.g., `builtins.toFile "builder.sh" "..."'. * toFile: handle references to other files correctly.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions