vregistry.py
changeset 2823 a4e3e9b1a9cd
parent 2821 526f44213b70
child 2829 054a8805da52