Pruning of redundant map data objects cannot yet be done, due to the problem of their original indices being used as references to them in several ways, which have not been updated accordingly. As this is quite a lot of work I've simply disabled the pruning for now.
Added by danij almost 16 years ago
Added by
Pruning of redundant map data objects cannot yet be done, due to the problem of their original indices being used as references to them in several ways, which have not been updated accordingly. As this is quite a lot of work I've simply disabled the pruning for now.