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

This commit is contained in:
Daniel Schwager 2012-01-30 23:15:03 +01:00
commit 9650d289c5
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit de0a1052392d6c9c64f57de9cb650bd5a391609b
Subproject commit 1371b3da37986a9c50d255fd6dd954eef4c4ace6