vregistry.py
changeset 5636 8138d9c86ac8
parent 5627 a7e40cccdc9b
child 5655 ef903fff826d