POOL_createExtendedPackageIndex

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



root 2019-07-18