vregistry.py
changeset 10030 e19c322ede4b
parent 8202 517fbaad0e6e