synchronized with eccp
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 20 Jun 2008 13:00:52 +0000 (13:00 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 20 Jun 2008 13:00:52 +0000 (13:00 +0000)
commit503bb0cd3230b1103f546276f4b944b4c394298b
tree29316f1d35231747d87a180fd32270abc7727045
parent90708018c33219ee4a3d64e0017677231c84d2ba
synchronized with eccp

[r20193]
driver/firm_opt.c