#22: Convert builder-product.cfg to new devtools API

This commit is contained in:
2012-01-30 23:17:24 +01:00

Submodule commit.ref updated: a691eb99df...c767923dad