diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-01-20T15·25+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-01-20T15·25+0000 |
| commit | 6bb5efadeceb8c4666c227a44113709bb47d23cb (patch) | |
| tree | 2362c5689000d1889ff7f64b73c90662d3605603 /src/aterm-helper.pl | |
| parent | 05f0430de1d8eeae222a1306d4d0f7f407c8ce7d (diff) | |
* Ensure that derivation names and sources don't end in `.drv'.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions