vregistry.py
changeset 9320 15bd24f9b9e0
parent 8202 517fbaad0e6e