tools/support/dmg-license.py
changeset 14463 99117df5a3d3
parent 9343 67552b2e20ca