vregistry.py
changeset 9679 a3a516cf8624
parent 8202 517fbaad0e6e