tools/support/dmg-license.py
changeset 11829 ebdd7e6e6c49
parent 9343 67552b2e20ca