[zypp-commit] r10036 - in /trunk/sat-solver: src/knownid.h tools/repo_deltainfoxml.c