beremiz

IDManager: added import/export plus little cosmetic enhancements.

2018-11-21, Edouard Tisserant
decf52efb7f7
IDManager: added import/export plus little cosmetic enhancements.
C extension