about summary refs log tree commit diff
path: root/src/fix-ng/primops.cc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-03T18·21+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-03T18·21+0000
commitff3132427839888933c3779844bf35ca9e189cb9 (patch)
treea971b049852cba9730683f89de5d8e41804f2f62 /src/fix-ng/primops.cc
parente2655aa332a33b56d9168928511a598fc9b0c1e6 (diff)
* Ignore options passed to the aterm library.
Diffstat (limited to 'src/fix-ng/primops.cc')
0 files changed, 0 insertions, 0 deletions