| 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