vregistry.py
changeset 2761 7c583d02917b
parent 2760 30063071aee0
child 2771 8074dd88e21b
child 2836 b94b9c48111f