components/dejagnu/dejagnu.license
changeset 3589 bdfbf7f178a7
parent 1263 3965a9f005e3
equal deleted inserted replaced
3588:c7ba860a6ef7 3589:bdfbf7f178a7