diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-16T21·59+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-16T21·59+0000 |
| commit | 22ba63df162d3ac980f5c33210929177e0a3dfe0 (patch) | |
| tree | a54054e9105312ac6442fcf72aa94a82fa0d23e7 /aterm-gc.supp | |
| parent | 18e4ac0fc6bd1bc01d92d011e4629cacc3bec016 (diff) | |
* More XML output. `--strict' to strictly evaluate attribute sets and
so on. * Removed `--print-args', it's subsumed by `--eval-only --xml'.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions