vregistry.py
changeset 9456 a79e88aad555
parent 8202 517fbaad0e6e