vregistry.py
changeset 8595 01e1e44f1eb3
parent 8202 517fbaad0e6e