vregistry.py
changeset 10292 11c208072259
parent 8202 517fbaad0e6e