vregistry.py
changeset 8832 26cdfc6dd6f8
parent 8202 517fbaad0e6e