tools/support/dmg-license.py
changeset 9460 7d7e4ca70f6b
parent 9343 67552b2e20ca