tools/support/dmg-license.py
changeset 14854 aed75d439027
parent 9343 67552b2e20ca
equal deleted inserted replaced
14853:b96ba3c1ab67 14854:aed75d439027