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