POOL_createExtendedPackageIndex

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



root 2016-04-19