diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-01T11·19+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-01T11·19+0000 |
| commit | 89865da76d87292e5bc61f324b1ac892d40236e7 (patch) | |
| tree | 44ca094d56bbeff0c03626420a0c455f98f083a0 /INSTALL | |
| parent | 8bcdd36f10c5adfd312493c822c95c6fa5fbd110 (diff) | |
* Turn build errors during evaluation into EvalErrors.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions