diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-12T10·07+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-12T10·07+0000 |
| commit | d5219a351af4429ce0ca339940b7ae81717df4a6 (patch) | |
| tree | a48df22a9a2ab89af87d36d006b20801df54dde6 /src | |
| parent | 1d86790910c204f074626916e8d17508d8d633be (diff) | |
* Damn. Disable the USE heuristic for now, since the deriver in the
database isn't always in the manifest (so the reference graph cannot be reconstructed fully).
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions