diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-03 14:55:54 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-03 14:55:54 +0000 |
| commit | d20c3011a06a49d229c92c49447eb21b5a1f110d (patch) | |
| tree | e1850df03fe0f5fdd4f956949f9219b67b20b75b /doc/dev | |
| 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/dev')
0 files changed, 0 insertions, 0 deletions