vregistry.py
changeset 10348 b9bb4296133d
parent 8202 517fbaad0e6e