handle the new irg_inline_forced_no_body inline property
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 30 Jun 2006 12:31:05 +0000 (12:31 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 30 Jun 2006 12:31:05 +0000 (12:31 +0000)
[r7975]


No differences found