Project

General

Profile

« Previous | Next » 

Revision 89be26da

Added by danij about 16 years ago

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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences