tools/support/dmg-license.py
changeset 15365 fcdb6e3a9d36
parent 9343 67552b2e20ca