tools/support/dmg-license.py
changeset 15018 cf5d6ee109c9
parent 9343 67552b2e20ca