vregistry.py
changeset 9112 c859c7cef346
parent 8202 517fbaad0e6e