diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-08 16:15:07 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-08 16:15:07 +0000 |
| commit | 4eb637c799bddfcff7661164f98cd604fe4120f5 (patch) | |
| tree | 0fb4ed65c689cc70548de57c71d6ead5bd5e1ed5 /README | |
| parent | 8688e83194c11f66df2d38dfa9b274d2216773b2 (diff) | |
* When querying all derivations, filter out syntactically equal derivations.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions