vregistry.py
changeset 9252 01bca75ee8bd
parent 8202 517fbaad0e6e