POOL_createExtendedPackageIndex

Description: creates the Packages* index files for the pool
Parameter:



root 2015-09-06