diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-04T21·06+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-04T21·06+0000 |
| commit | 75068e7d753cf6cbe45a4bf294000dca9bd41d8b (patch) | |
| tree | c6274cc10caab08349b5585206034f41ca4a575f /externals/aterm-aliasing.patch | |
| parent | aab88127321344d5818d823bff515d127108d058 (diff) | |
* Use a proper namespace.
* Optimise header file usage a bit. * Compile the parser as C++.
Diffstat (limited to 'externals/aterm-aliasing.patch')
0 files changed, 0 insertions, 0 deletions