vregistry.py
changeset 8219 fb61698f93fc
parent 8202 517fbaad0e6e