[ghc-Agda/f17] (2 commits) ...adjust library license tag to include BSD also

Jens Petersen petersen at fedoraproject.org
Thu May 31 01:49:00 UTC 2012


Summary of changes:

  e53811a... import (#710031) (*)
  f947070... adjust library license tag to include BSD also (*)

(*) This commit already existed in another branch; no separate mail sent


More information about the scm-commits mailing list