diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-03T14·01+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-03T14·01+0000 |
| commit | 921111d1972388a0aa1841c545c753cb996c9257 (patch) | |
| tree | ab965ec07c63db0649c8d9871f6c72813b2696a9 /misc | |
| parent | 6c31232e1494d1d68a31fb8433dbf593f831dff2 (diff) | |
* Move the implementation of the ‘derivation’ primop into a separate
file.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions