vregistry.py
changeset 2640 de355ee59e52
parent 2589 92f2bc945261
child 2650 18aec79ec3a3
child 2651 3ad936634d2a