vregistry.py
changeset 10185 b7c373d74754
parent 8202 517fbaad0e6e