objdictgen/objdictgen.py
changeset 571 6eddab0b7ca8
parent 512 e84806c0ada4
child 580 2ae92a99ac10