diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-11T21·59+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-11T21·59+0000 |
commit | 7d4567f2cc16959e827f542e6de76a28ff11789e (patch) | |
tree | fc68581e60d9f29359173ce8b5398d36b9ee125c /scripts/generate-patches.pl.in | |
parent | b4e012ab4d8ef2f9091c1e8d14e059b38a2e4529 (diff) |
* Removed URIs from the evaluator (NIX-66). They are now just another
kind of notation for strings.
Diffstat (limited to 'scripts/generate-patches.pl.in')
0 files changed, 0 insertions, 0 deletions