commit | 2fa724f4de313ce3ca5730fdb96eb2a5ba811e5b | [log] [tgz] |
---|---|---|
author | dwagelaar <dwagelaar> | Sun Feb 15 12:02:02 2009 +0000 |
committer | dwagelaar <dwagelaar> | Sun Feb 15 12:02:02 2009 +0000 |
tree | bf7b186d72721305cfcf87cda39ca5b693d51512 | |
parent | 29ddd0717d4c502e16450223a002b1a6ff3c6822 [diff] |
Allow preservation of previously set XMI IDs when using useIDs/removeIDs