vregistry.py
changeset 9388 4c34a63bd113
parent 8202 517fbaad0e6e