vregistry.py
changeset 9902 62c586f32f93
parent 8202 517fbaad0e6e