[Agda/f20] update to 2.3.2.2
Jens Petersen
petersen at fedoraproject.org
Wed Jan 15 05:50:41 UTC 2014
Summary of changes:
039fa08... update to 2.3.2.2 (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list