[ghc-Agda/f16] fix agda2-version in agda2-mode.el properly
Jens Petersen
petersen at fedoraproject.org
Wed Jul 11 04:08:04 UTC 2012
Summary of changes:
7200578... fix agda2-version in agda2-mode.el properly (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list