diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-04T13·15+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-04T13·15+0000 |
| commit | 5adbb0aabe54479304453bf5e544f84b40ee7dd7 (patch) | |
| tree | fd4fc6b57a3d9e7aa81ae5ad354e0cbce05304fd /aterm-gc.supp | |
| parent | 5b1052663a35940fc99ae6a8fcf6e707ae939fef (diff) | |
* build.cc: only use a substituter if it returns info for a path.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions