[zypp-commit] r11713 - in /trunk/sat-solver/tools: repo_products.c repo_products.h rpmdb2solv.c