[Agda/f20] (2 commits) ...drop defattr's

Jens Petersen petersen at fedoraproject.org
Mon Sep 2 04:08:36 UTC 2013


Summary of changes:

  0ecfc19... rebuild (*)
  4ea8724... drop defattr's (*)

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


More information about the scm-commits mailing list