diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T11·04+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T11·04+0000 |
| commit | 83647f4ef14f1ecf40b9fc6099fc77864b87cf41 (patch) | |
| tree | 982debf65dc2ca89b9cc1f454cb584c5e4fb88e8 /.gitignore | |
| parent | 71f3c46cf65c0638946c9bb57c36a2b5f177a672 (diff) | |
* Simplify the implementation of "derivation" a bit: lift out the
common attribution so that they're evaluated only once, etc. Note that the default output is now the first element of the "outputs" attribute, rather than the first element of the sorted list of outputs. This seems more user-friendly.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions