diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-03T18·21+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-03T18·21+0000 |
| commit | ff3132427839888933c3779844bf35ca9e189cb9 (patch) | |
| tree | a971b049852cba9730683f89de5d8e41804f2f62 /src/fix-ng/primops.cc | |
| parent | e2655aa332a33b56d9168928511a598fc9b0c1e6 (diff) | |
* Ignore options passed to the aterm library.
Diffstat (limited to 'src/fix-ng/primops.cc')
0 files changed, 0 insertions, 0 deletions