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/maintenance | |
| parent | b4e012ab4d8ef2f9091c1e8d14e059b38a2e4529 (diff) | |
* Removed URIs from the evaluator (NIX-66). They are now just another
kind of notation for strings.
Diffstat (limited to 'scripts/maintenance')
0 files changed, 0 insertions, 0 deletions