tools/support/dmg-license.py
changeset 10177 0f9042536c46
parent 9343 67552b2e20ca