objdictgen/objdictedit.py
changeset 803 cb315e75b3bd
parent 778 9edaa9d21cf9