vregistry.py
changeset 10465 5b18e2e4dd71
parent 8202 517fbaad0e6e