diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-08T15·33+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-08T15·33+0000 |
| commit | 333f4963de6d174d852774a88ada852f77f57994 (patch) | |
| tree | 9a16d56234604e17ce95c4a842d62241e79d61d7 /src/util.cc | |
| parent | 40274c1f4f763e634dd031f7a6b4ba8ce2de7a82 (diff) | |
* The output of a Derive() node is not a referenced path.
Diffstat (limited to 'src/util.cc')
0 files changed, 0 insertions, 0 deletions