POOL_createExtendedPackageIndex

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



dodger 2018-05-08