diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-07-19T15·36+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-07-19T15·36+0000 |
| commit | 4f3725b167cc0080c570a814e28c6181ef5c7f52 (patch) | |
| tree | 0e3bc97c8e207cdb0de3403a0430909debe5c043 /make | |
| parent | e10b830251af37951109113d88ddf203ae95645c (diff) | |
* Better error messages (especially wrt types).
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions