vregistry.py
changeset 2674 ff6114c2c416
parent 2653 51bf32bbe78d
child 2655 48cd71bdb5cd