tools/support/dmg-license.py
changeset 14219 de21f6eb2366
parent 9343 67552b2e20ca
equal deleted inserted replaced
14218:925e2c9877a8 14219:de21f6eb2366