Remove the unused flag irop_flag_always_opt.
authorChristoph Mallon <christoph.mallon@gmx.de>
Tue, 19 Jun 2012 07:31:15 +0000 (09:31 +0200)
committerChristoph Mallon <christoph.mallon@gmx.de>
Tue, 19 Jun 2012 07:34:10 +0000 (09:34 +0200)

No differences found