tools/support/dmg-license.py
changeset 12851 4ffab41560c5
parent 9343 67552b2e20ca
equal deleted inserted replaced
12849:40c410cd6402 12851:4ffab41560c5