diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-25 14:31:12 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-25 14:31:12 +0000 |
| commit | 298dd487bb7bc0e0f4f12a3df91906263e506db4 (patch) | |
| tree | c324cf43568173f035559ca7202d150b98cfbed5 /doc | |
| parent | ebe342c9c14a06bdc90096847529e744265fae3a (diff) | |
* When finding live paths, the deriver need not be valid.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions