[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

Previous message: [netpbm] update to 10.59.01
Next message: File basho-bitcask-1.5.1-0-g4c6d6df.tar.gz uploaded to lookaside cache by peter
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  7200578... fix agda2-version in agda2-mode.el properly (*)

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

Previous message: [netpbm] update to 10.59.01
Next message: File basho-bitcask-1.5.1-0-g4c6d6df.tar.gz uploaded to lookaside cache by peter
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list