summaryrefslogtreecommitdiff
path: root/frontends
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-21 16:34:16 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-21 16:34:16 +0200
commit1241a9fd5073d327d49f1af47db37214a4628ed8 (patch)
tree9a707414febae20d0068860f20feead248787d45 /frontends
parent4147b55c233013dd861172f13d0b9669598d234c (diff)
Added "opt_const -fine" and "opt_reduce -fine"
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions