[Agda/f16] (2 commits) ...note emacs-agda interactive environment in description

Jens Petersen petersen at fedoraproject.org
Sun Jul 15 07:36:39 UTC 2012


Summary of changes:

  1567c74... import (#710383) (*)
  7d0ed70... note emacs-agda interactive environment in description (*)

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


More information about the scm-commits mailing list