components/dejagnu/dejagnu.license
changeset 7945 bb307b57cd05
parent 1263 3965a9f005e3
equal deleted inserted replaced
7941:cbeee2330f63 7945:bb307b57cd05