« Previous | Next » 

Revision f7520461

IDf7520461636ec68a76f230804aa039712251c0e0
Parent dd5e377c
Child 36021cf1, d74d9d89

Added by Marco Biazzini over 10 years ago

Free the node IDs when removing old nodes

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences