Deactivated WAR opts
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 13 Jul 2004 13:11:05 +0000 (13:11 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 13 Jul 2004 13:11:05 +0000 (13:11 +0000)
commit3e06e8d29dbc862e15bc3cacf05132746457113b
treeb7be8e9cd897d0dcecf37804b270986d06d569be
parent660e685d82d6e77db6193373829e4bd2c4557e7b
Deactivated WAR opts

[r3424]
ir/ir/iropt.c