vregistry.py
changeset 9728 f79ce7b39ee9
parent 8202 517fbaad0e6e