components/dejagnu/dejagnu.license
changeset 2117 cc1dde1e0b0a
parent 1263 3965a9f005e3