diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-23T15·46+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-23T15·46+0000 |
| commit | 38f18aa6d418515e42b688fa9b3e4f3ab61bb89e (patch) | |
| tree | 3859e7778e44814cdb00f2693dd5778d0e0cb88e /scripts | |
| parent | 4a053bfdfd85915a2a659a337bd171bc22c49138 (diff) | |
* New primop: abort "error message".
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions