vregistry.py
changeset 9994 12a97d1c6015
parent 8202 517fbaad0e6e