[Agda/f19] (2 commits) ...drop defattr's
Jens Petersen
petersen at fedoraproject.org
Mon Sep 2 04:11:54 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