tools/support/dmg-license.py
changeset 13753 5985ee7a4922
parent 9343 67552b2e20ca