Revision f7520461
ID | f7520461636ec68a76f230804aa039712251c0e0 |
Parent | dd5e377c |
Child | 36021cf1, d74d9d89 |
Free the node IDs when removing old nodes
Files
- added
- modified
- copied
- renamed
- deleted
ID | f7520461636ec68a76f230804aa039712251c0e0 |
Parent | dd5e377c |
Child | 36021cf1, d74d9d89 |
Added by Marco Biazzini over 10 years ago
Free the node IDs when removing old nodes